plutus-core-1.30.0.0: Language library for Plutus Core
Safe HaskellSafe-Inferred
LanguageHaskell2010

PlutusCore.Examples.Data.InterList

Synopsis

Documentation

interListDataRecursiveType uni fun () Source #

InterList as a PLC type.

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

interNilTerm TyName Name uni fun () Source #

interConsTerm TyName Name uni fun () Source #