plutus-core-1.0.0.1: Language library for Plutus Core
Safe Haskell None
Language Haskell2010

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