morley-0.6.0: Developer tools for the Michelson Language
Util.Fcf
data Over2 :: (a -> b -> Exp r) -> (x -> Exp a) -> (x -> Exp b) -> x -> Exp r Source #
Defined in Util.Fcf
data (<|>) :: f a -> f a -> Exp (f a) Source #
data TyEqSing :: a -> b -> Exp Bool Source #
Similar to TyEq, but compares types via DefaultEq used in singletons comparisons (see Data.Singletons.Prelude.Eq module).
TyEq
DefaultEq