Hydra.AdapterUtils

Additional adapter utilities, above and beyond the generated ones

Documentation

type SymmetricAdapter s t v = Adapter s s t t v v

type TypeAdapter = Type -> Flow AdapterContext (SymmetricAdapter AdapterContext Type Term)

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

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)

idCoder :: Coder s s a a

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

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

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

encodeDecode :: CoderDirection -> Coder s s x x -> x -> Flow s x

floatTypeIsSupported :: LanguageConstraints -> FloatType -> Bool

idAdapter :: t -> SymmetricAdapter s t v

integerTypeIsSupported :: LanguageConstraints -> IntegerType -> Bool

literalTypeIsSupported :: LanguageConstraints -> LiteralType -> Bool

nameToFilePath :: Bool -> FileExtension -> Name -> FilePath

typeIsSupported :: LanguageConstraints -> Type -> Bool

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

module Hydra.Printing