hydra-0.5.1: Type-aware transformations for data and programs
Safe HaskellSafe-Inferred
LanguageHaskell2010

Hydra.Dsl.Lib.Optionals

Documentation

apply :: Datum (Maybe (a -> b) -> Maybe a -> Maybe b) Source #

bind :: Datum (Maybe a -> (a -> Maybe b) -> Maybe b) Source #

cat :: Datum ([Maybe a] -> [a]) Source #

fromMaybe :: Datum (a -> Maybe a -> a) Source #

isJust :: Datum (Maybe a -> Bool) Source #

isNothing :: Datum (Maybe a -> Bool) Source #

map :: Datum ((a -> b) -> Maybe a -> Maybe b) Source #

maybe :: Datum (b -> (a -> b) -> Maybe a -> b) Source #

pure :: Datum (a -> Maybe a) Source #