Module

Type.Eval.Function

Package
purescript-typelevel-eval
Repository
natefaubion/purescript-typelevel-eval

#Id Source

data Id :: Type -> TypeExpr

Instances

#Const Source

data Const :: Type -> Type -> TypeExpr

Instances

#Compose Source

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

Instances

#type (<<<) Source

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

#ComposeFlipped Source

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

Instances

#type (>>>) Source

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

#Flip Source

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

Instances

#App Source

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

Instances

#type ($) Source

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

#AppFlipped Source

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

Instances

#type (#) Source

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