Documentation

nil :: Iso () [alpha] #

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

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

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

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

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

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