Type.Eval.Function

data Id :: Type -> TypeExpr

Instances

• Eval (Id a) a

data Const :: Type -> Type -> TypeExpr

Instances

• Eval (Const a b) a

data Compose :: (Type -> TypeExpr) -> (Type -> TypeExpr) -> Type -> TypeExpr

Instances

• (Eval (g a) b, Eval (f b) c) => Eval (Compose f g a) c

Operator alias for Type.Eval.Function.Compose (right-associative / precedence 9)

data ComposeFlipped :: (Type -> TypeExpr) -> (Type -> TypeExpr) -> Type -> TypeExpr

Instances

• (Eval (f a) b, Eval (g b) c) => Eval (ComposeFlipped f g a) c

Operator alias for Type.Eval.Function.ComposeFlipped (right-associative / precedence 9)

data Flip :: (Type -> Type -> TypeExpr) -> Type -> Type -> TypeExpr

Instances

• (Eval (f b a) c) => Eval (Flip f a b) c

data App :: (Type -> TypeExpr) -> TypeExpr -> TypeExpr

Instances

• (Eval a b, Eval (f b) c) => Eval (App f a) c

Operator alias for Type.Eval.Function.App (right-associative / precedence 0)

data AppFlipped :: TypeExpr -> (Type -> TypeExpr) -> TypeExpr

Instances

• (Eval a b, Eval (f b) c) => Eval (AppFlipped a f) c

Operator alias for Type.Eval.Function.AppFlipped (left-associative / precedence 1)