Data.Functor.Coproduct.Inject

class Inject :: forall k. (k -> Type) -> (k -> Type) -> Constraintclass Inject f g  where

Members

• inj :: forall a. f a -> g a
• prj :: forall a. g a -> Maybe (f a)

Instances

• Inject f f
• Inject f (Coproduct f g)
• (Inject f g) => Inject f (Coproduct h g)