Hydra.Adapters.Term

Documentation

fieldAdapter :: (Ord m, Read m, Show m) => FieldType m -> Flow (AdapterContext m) (SymmetricAdapter (Context m) (FieldType m) (Field m))

functionProxyName :: Name

functionProxyType :: Type m -> Type m

termAdapter :: (Ord m, Read m, Show m) => TypeAdapter m