Module

Type.Eval.Functor

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

#Map Source

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

Instances

(Eval (fn a) b, Eval (Map fn (RLProxy rl)) (RLProxy rl')) => Eval (Map fn (RLProxy (Cons sym a rl))) (RLProxy (Cons sym b rl'))
Eval (Map fn (RLProxy Nil)) (RLProxy Nil)
(Eval (fn a) a', Eval (fn b) b') => Eval (Map fn (Tuple a b)) (Tuple a' b')

#type (<$>) Source

Operator alias for Type.Eval.Functor.Map (left-associative / precedence 4)

#MapWithIndex Source

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

Instances

(Eval (fn (SProxy sym) a) b, Eval (MapWithIndex fn (RLProxy rl)) (RLProxy rl')) => Eval (MapWithIndex fn (RLProxy (Cons sym a rl))) (RLProxy (Cons sym b rl'))
Eval (MapWithIndex fn (RLProxy Nil)) (RLProxy Nil)

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