plutus-core-0.1.0.0: Language library for Plutus Core
Safe HaskellNone
LanguageHaskell2010

PlutusCore.Examples.Data.InterList

Synopsis

Documentation

interListData :: RecursiveType uni fun () Source #

InterList as a PLC type.

fix \(interlist :: * -> * -> *) (a :: *) (b :: *) ->
    all (r :: *). r -> (a -> b -> interlist b a -> r) -> r

foldrInterList :: uni `Includes` () => Term TyName Name uni fun () Source #