Control.Isomorphism.Partial.Constructors

Documentation

nil :: Iso () [alpha]

cons :: Iso (alpha, [alpha]) [alpha]

listCases :: Iso (Either () (alpha, [alpha])) [alpha]

left :: forall a b. Iso a (Either (a :: Type) (b :: Type))

right :: forall a b. Iso b (Either (a :: Type) (b :: Type))

nothing :: forall a. Iso () (Maybe (a :: Type))

just :: forall a. Iso a (Maybe (a :: Type))