darcs-2.18.1: a distributed, interactive, smart revision control system
Safe HaskellSafe-Inferred
LanguageHaskell2010

Darcs.Patch.Witnesses.Maybe

Documentation

data Maybe2 p wX wY where Source #

Constructors

Nothing2 :: Maybe2 p wX wX 
Just2 :: p wX wY -> Maybe2 p wX wY 

maybeToFL :: Maybe2 p wX wY -> FL p wX wY Source #

maybeToRL :: 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 #