PlutusCore.StdLib.Data.Sum
Description
sum and related functions.
sum
sum :: Type TyName uni () Source #
Either as a PLC type.
Either
\(a b :: *) -> all (r :: *). (a -> r) -> (b -> r) -> r
left :: TermLike term TyName Name uni fun => term () Source #
Left as a PLC term.
Left
/\(a b :: *) -> \(x : a) -> /\(r :: *) -> \(f : a -> r) -> (g : b -> r) -> f x
right :: TermLike term TyName Name uni fun => term () Source #
Right as a PLC term.
Right
/\(a b :: *) -> \(y : b) -> /\(r :: *) -> \(f : a -> r) -> (g : b -> r) -> g y