Module

Data.Functor.Coproduct.Inject

Package: purescript-functors
Repository: purescript/purescript-functors

#Inject Source

class 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)

Modules: Data.Functor.App; Data.Functor.Compose; Data.Functor.Coproduct; Data.Functor.Coproduct.Inject; Data.Functor.Coproduct.Nested; Data.Functor.Product; Data.Functor.Product.Nested