partial-isomorphisms-0.2.2.1: Partial isomorphisms.
Control.Isomorphism.Partial.Constructors
nil :: Iso () [alpha] Source #
cons :: Iso (alpha, [alpha]) [alpha] Source #
listCases :: Iso (Either () (alpha, [alpha])) [alpha] Source #
left :: forall a b. Iso a (Either (a :: Type) (b :: Type)) Source #
right :: forall a b. Iso b (Either (a :: Type) (b :: Type)) Source #
nothing :: forall a. Iso () (Maybe (a :: Type)) Source #
just :: forall a. Iso a (Maybe (a :: Type)) Source #