generic-deriving-1.14: Generic programming library for generalised deriving.
Generics.Deriving.Instances
Contents
type Rep0Kleisli m a b = Rep (Kleisli m a b) Source #
type Rep1Kleisli m a = Rep1 (Kleisli m a) Source #
Associated Types
type Rep1 (Kleisli m a) :: k -> Type #
Methods
from1 :: Kleisli m a a0 -> Rep1 (Kleisli m a) a0 #
to1 :: Rep1 (Kleisli m a) a0 -> Kleisli m a a0 #
type Rep (Kleisli m a b) :: Type -> Type #
from :: Kleisli m a b -> Rep (Kleisli m a b) x #
to :: Rep (Kleisli m a b) x -> Kleisli m a b #