Hydra.Adapters.Coders

Documentation

adaptType :: (Ord m, Read m, Show m) => Language m -> Type m -> GraphFlow m (Type m)

transformModule :: (Ord m, Read m, Show m) => Language m -> (Term m -> GraphFlow m e) -> (Module m -> Map (Type m) (Coder (Context m) (Context m) (Term m) e) -> [(Element m, TypedTerm m)] -> GraphFlow m d) -> Module m -> GraphFlow m d