Fcf.Class.Functor

Documentation

data Map :: (a -> Exp b) -> f a -> Exp (f b)

Type-level fmap for type-level functors.

Note: this name clashes with Map from containers. FMap is provided as a synonym to avoid this.

Example

>>> data Example where Ex :: a -> Example  -- Hide the type of examples to avoid brittleness in different GHC versions
>>> data AddMul :: Nat -> Nat -> Exp Nat
>>> type instance Eval (AddMul x y) = (x TL.+ y) TL.* (x TL.+ y)
>>> :kind! Ex (Eval (Map (AddMul 2) '[0, 1, 2, 3, 4]) :: [Nat])
Ex (Eval (Map (AddMul 2) '[0, 1, 2, 3, 4]) :: [Nat]) :: Example
= Ex [4, 9, 16, 25, 36]

Instances

type Eval (Map f ('Just a3) :: Maybe a2 -> Type)

Defined in Fcf.Class.Functor

type Eval (Map f ('Just a3) :: Maybe a2 -> Type) = 'Just (Eval (f a3))

type Eval (Map f ('Nothing :: Maybe a) :: Maybe b -> Type)

Defined in Fcf.Class.Functor

type Eval (Map f ('Nothing :: Maybe a) :: Maybe b -> Type) = 'Nothing :: Maybe b

type Eval (Map f ('[] :: [a]) :: [b] -> Type)

Defined in Fcf.Class.Functor

type Eval (Map f ('[] :: [a]) :: [b] -> Type) = '[] :: [b]

type Eval (Map f (a2 ': as) :: [b] -> Type)

Defined in Fcf.Class.Functor

type Eval (Map f (a2 ': as) :: [b] -> Type) = Eval (f a2) ': Eval (Map f as)

type Eval (Map f ('Left x :: Either a2 a1) :: Either a2 b -> Type)

Defined in Fcf.Class.Functor

type Eval (Map f ('Left x :: Either a2 a1) :: Either a2 b -> Type) = 'Left x :: Either a2 b

type Eval (Map f ('Right a3 :: Either a2 a1) :: Either a2 b -> Type)

Defined in Fcf.Class.Functor

type Eval (Map f ('Right a3 :: Either a2 a1) :: Either a2 b -> Type) = 'Right (Eval (f a3)) :: Either a2 b

type Eval (Map f '(x, a2) :: (k2, k1) -> Type)

Defined in Fcf.Class.Functor

type Eval (Map f '(x, a2) :: (k2, k1) -> Type) = '(x, Eval (f a2))

type Eval (Map f '(x, y, a2) :: (k2, k3, k1) -> Type)

Defined in Fcf.Class.Functor

type Eval (Map f '(x, y, a2) :: (k2, k3, k1) -> Type) = '(x, y, Eval (f a2))

type Eval (Map f '(x, y, z, a2) :: (k2, k3, k4, k1) -> Type)

Defined in Fcf.Class.Functor

type Eval (Map f '(x, y, z, a2) :: (k2, k3, k4, k1) -> Type) = '(x, y, z, Eval (f a2))

type Eval (Map f '(x, y, z, w, a2) :: (k2, k3, k4, k5, k1) -> Type)

Defined in Fcf.Class.Functor

type Eval (Map f '(x, y, z, w, a2) :: (k2, k3, k4, k5, k1) -> Type) = '(x, y, z, w, Eval (f a2))

type FMap = Map

Synonym of Map to avoid name clashes.