Data.IFunctor

Documentation

class IFunctor f where

Functor in the category of dependent types

Methods

imap :: (a ~~> b) -> f a ~~> f b

Instances

IFunctor (IIdentity :: (k -> Type) -> k -> Type)

Defined in Data.IFunctor.IIdentity

Methods

imap :: forall (a :: k0 -> Type) (b :: k0 -> Type). (a ~~> b) -> IIdentity a ~~> IIdentity b

IFunctor (Product a :: (k -> Type) -> k -> Type)

Defined in Data.IFunctor

Methods

imap :: forall (a0 :: k0 -> Type) (b :: k0 -> Type). (a0 ~~> b) -> Product a a0 ~~> Product a b

IFunctor (Sum a :: (k -> Type) -> k -> Type)

Defined in Data.IFunctor

Methods

imap :: forall (a0 :: k0 -> Type) (b :: k0 -> Type). (a0 ~~> b) -> Sum a a0 ~~> Sum a b

IFunctor f => IFunctor (IFree f :: (k -> Type) -> k -> Type)

Defined in Data.IFunctor.IFree

Methods

imap :: forall (a :: k0 -> Type) (b :: k0 -> Type). (a ~~> b) -> IFree f a ~~> IFree f b

IFunctor f => IFunctor (ICofree f :: (k -> Type) -> k -> Type)

Defined in Data.IFunctor.ICofree

Methods

imap :: forall (a :: k0 -> Type) (b :: k0 -> Type). (a ~~> b) -> ICofree f a ~~> ICofree f b

Re-exports

type (~~>) a b = forall ix. SingI ix => a ix -> b ix infixr 4

Indexed function type