Fcf.Classes

Overloaded functions.

Documentation

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

Type-level fmap for type-level functors.

Instances

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

Defined in Fcf.Classes

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

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

Defined in Fcf.Classes

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

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

Defined in Fcf.Classes

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.Classes

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

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

Defined in Fcf.Classes

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

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

Defined in Fcf.Classes

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

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

Defined in Fcf.Classes

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.Classes

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.Classes

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.Classes

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

data Bimap :: (a -> Exp a') -> (b -> Exp b') -> f a b -> Exp (f a' b')

Type-level bimap.

Instances

type Eval (Bimap f g (Right y :: Either a b1) :: Either a' b2 -> Type)

Defined in Fcf.Classes

type Eval (Bimap f g (Right y :: Either a b1) :: Either a' b2 -> Type) = (Right (Eval (g y)) :: Either a' b2)

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

Defined in Fcf.Classes

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

type Eval (Bimap f g ((,) x y) :: (k2, k1) -> Type)

Defined in Fcf.Classes

type Eval (Bimap f g ((,) x y) :: (k2, k1) -> Type) = (,) (Eval (f x)) (Eval (g y))