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

Hydra.Adapters.UtilsEtc

Documentation

type SymmetricAdapter s t v = Adapter s s t t v v Source #

bidirectional :: (CoderDirection -> b -> Flow s b) -> Coder s s b b Source #

chooseAdapter :: (Eq t, Ord t, Show t) => (t -> [Flow so (SymmetricAdapter si t v)]) -> (t -> Bool) -> (t -> String) -> t -> Flow so (SymmetricAdapter si t v) Source #

composeCoders :: Coder s s a b -> Coder s s b c -> Coder s s a c Source #

debugCheckType :: (Eq t, Ord t, Show t) => t -> Flow s () Source #

debugRemoveType :: (Eq t, Ord t, Show t) => t -> Flow s () Source #

encodeDecode :: CoderDirection -> Coder s s a a -> a -> Flow s a Source #

idCoder :: Coder s s a a Source #

unidirectionalCoder :: (a -> Flow s b) -> Coder s s a b Source #