Module

Type.Eval.Foldable

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

#Foldr Source

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

Instances

#FoldrWithIndex Source

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

Instances

#AllFold Source

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

Instances

#All Source

type All (f :: Type -> TypeExpr) = Foldr (AllFold f) TrueExpr

#SomeFold Source

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

Instances

#Some Source

type Some (f :: Type -> TypeExpr) = Foldr (SomeFold f) FalseExpr