morley-0.6.0: Developer tools for the Michelson Language

Safe HaskellNone
LanguageHaskell2010

Util.Fcf

Synopsis

Documentation

data Over2 :: (a -> b -> Exp r) -> (x -> Exp a) -> (x -> Exp b) -> x -> Exp r Source #

Instances
type Eval (Over2 f g h x2 :: a2 -> Type) Source # 
Instance details

Defined in Util.Fcf

type Eval (Over2 f g h x2 :: a2 -> Type) = Eval (LiftM2 f (g x2) (h x2))

data (<|>) :: f a -> f a -> Exp (f a) Source #

Instances
type Eval (Just x <|> _ :: Maybe a -> Type) Source # 
Instance details

Defined in Util.Fcf

type Eval (Just x <|> _ :: Maybe a -> Type) = Just x
type Eval ((Nothing :: Maybe a) <|> m :: Maybe a -> Type) Source # 
Instance details

Defined in Util.Fcf

type Eval ((Nothing :: Maybe a) <|> m :: Maybe a -> Type) = m

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).

Instances
type Eval (TyEqSing a b :: Bool -> Type) Source # 
Instance details

Defined in Util.Fcf

type Eval (TyEqSing a b :: Bool -> Type) = DefaultEq a b