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

Hydra.Dsl.Lib.Optionals

Documentation

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

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

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

compose :: TTerm ((a -> Maybe b) -> (b -> Maybe c) -> a -> Maybe c) Source #

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

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

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

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

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

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