Module

Type.Eval.Row

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

#Prj Source

data Prj :: Symbol -> Type -> TypeExpr

Instances

#Uncons Source

data Uncons :: (Type -> Type -> TypeExpr) -> Symbol -> Type -> TypeExpr

Instances

#Cons Source

data Cons :: Symbol -> Type -> Type -> TypeExpr

Instances

#Set Source

type Set sym a = (Cons sym a) <<< (Lacks sym)

#Modify Source

data Modify :: (Type -> TypeExpr) -> Symbol -> Type -> TypeExpr

Instances

#Nub Source

data Nub :: Type -> TypeExpr

Instances

#Lacks Source

data Lacks :: Symbol -> Type -> TypeExpr

Instances

#Union Source

data Union :: Type -> Type -> TypeExpr

Instances