Darcs.Patch.Witnesses.Maybe
data Maybe2 (p :: Type -> Type -> Type) wX wY where Source #
Constructors
maybeToFL :: forall (p :: Type -> Type -> Type) wX wY. Maybe2 p wX wY -> FL p wX wY Source #
maybeToRL :: forall (p :: Type -> Type -> Type) wX wY. Maybe2 p wX wY -> RL p wX wY Source #
mapMB_MB :: (p wX wY -> q wX wY) -> Maybe2 p wX wY -> Maybe2 q wX wY Source #