Modulefirst-class-families-0.8.2.0
Fcf.Class.Functor
- 2 types
- Packagefirst-class-families-0.8.2.0
- Exports2
- LicenceMIT
Instances10Eval, …
type Eval (Map f 'Nothing) = 'NothingDefined in first-class-families-0.8.2.0 · Fcf.Class.Functortype Eval (Map f '(x, a2)) = '(x, Eval (f a2))Defined in first-class-families-0.8.2.0 · Fcf.Class.Functortype Eval (Map f '(x, y, a2)) = '(x, y, Eval (f a2))Defined in first-class-families-0.8.2.0 · Fcf.Class.Functortype Eval (Map f '(x, y, z, a2)) = '(x, y, z, Eval (f a2))Defined in first-class-families-0.8.2.0 · Fcf.Class.Functortype Eval (Map f '(x, y, z, w, a2)) = '(x, y, z, w, Eval (f a2))Defined in first-class-families-0.8.2.0 · Fcf.Class.Functortype Eval (Map f '[]) = '[]Defined in first-class-families-0.8.2.0 · Fcf.Class.Functortype Eval (Map f ('Left x)) = 'Left xDefined in first-class-families-0.8.2.0 · Fcf.Class.Functortype Eval (Map f ('Right a3)) = 'Right (Eval (f a3))Defined in first-class-families-0.8.2.0 · Fcf.Class.Functortype Eval (Map f ('Just a3)) = 'Just (Eval (f a3))Defined in first-class-families-0.8.2.0 · Fcf.Class.Functortype Eval (Map f (a2 ': as)) = Eval (f a2) ': Eval (Map f as)Defined in first-class-families-0.8.2.0 · Fcf.Class.Functor