Module

Type.Eval.Tuple

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

#Curry Source

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

Instances

#Duplicate Source

data Duplicate :: Type -> TypeExpr

Instances

#Fst Source

data Fst :: Type -> TypeExpr

Instances

#Snd Source

data Snd :: Type -> TypeExpr

Instances

#Uncurry Source

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

Instances

Re-exports from Data.Tuple

#Tuple Source

data Tuple a b

A simple product type for wrapping a pair of component values.

Instances