Module

Data.Functor.Coproduct.Inject

Package
purescript-functors
Repository
purescript/purescript-functors

#Inject Source

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

Modules
Data.Functor.App
Data.Functor.Clown
Data.Functor.Compose
Data.Functor.Coproduct
Data.Functor.Coproduct.Inject
Data.Functor.Coproduct.Nested
Data.Functor.Costar
Data.Functor.Flip
Data.Functor.Joker
Data.Functor.Product
Data.Functor.Product.Nested
Data.Functor.Product2