Module

Type.Eval.Foldable

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

#Foldr Source

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

Instances

(Eval (fn a (Foldr fn z (RLProxy rl))) ty) => Eval (Foldr fn z (RLProxy (Cons sym a rl))) ty
(Eval z ty) => Eval (Foldr fn z (RLProxy Nil)) ty
(Eval (fn a (Foldr fn z b)) ty) => Eval (Foldr fn z (Tuple a b)) ty

#FoldrWithIndex Source

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

Instances

(Eval (fn (SProxy sym) a (FoldrWithIndex fn z (RLProxy rl))) ty) => Eval (FoldrWithIndex fn z (RLProxy (Cons sym a rl))) ty
(Eval z ty) => Eval (FoldrWithIndex fn z (RLProxy Nil)) ty

#AllFold Source

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

Instances

(Eval (fn a) a', Eval (Bool b FalseExpr a') c) => Eval (AllFold fn a b) c

#All Source

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

#SomeFold Source

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

Instances

(Eval (fn a) a', Eval (Bool TrueExpr b a') c) => Eval (SomeFold fn a b) c

#Some Source

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

Modules: Type.Eval; Type.Eval.Boolean; Type.Eval.Foldable; Type.Eval.Function; Type.Eval.Functor; Type.Eval.Row; Type.Eval.RowList; Type.Eval.Tuple