Module

Data.Functor.Coproduct.Inject

Package
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