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

PlutusCore.StdLib.Data.Sum

Description

sum and related functions.

Synopsis

Documentation

sumType TyName uni () Source #

Either as a PLC type.

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

leftTermLike term TyName Name uni fun ⇒ term () Source #

Left as a PLC term.

/\(a b :: *) -> \(x : a) -> /\(r :: *) -> \(f : a -> r) -> (g : b -> r) -> f x

rightTermLike term TyName Name uni fun ⇒ term () Source #

Right as a PLC term.

/\(a b :: *) -> \(y : b) -> /\(r :: *) -> \(f : a -> r) -> (g : b -> r) -> g y