Documentation

nil :: Iso () [alpha] Source #

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

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

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

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

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

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