symantic-6.3.0.20170807: Library for Typed Tagless-Final Higher-Order Composable DSL

Safe HaskellNone
LanguageHaskell2010

Language.Symantic.Typing.Read

Synopsis

Documentation

readType :: SourceInj (KindK src) src => SourceInj (TypeVT src) src => SourceInj (AST_Type src) src => AST_Type src -> Either (Error_Type src) (TypeVT src) Source #

Read a Type from an AST_Type, given its Vars.

readTyVars :: forall vs src. SourceInj (KindK src) src => SourceInj (TypeVT src) src => SourceInj (AST_Type src) src => Vars src vs -> AST_Type src -> Either (Error_Type src) (TypeT src vs) Source #

Read a Type from an AST_Type, given its Vars.

readVars :: Source src => EVars src -> AST_Type src -> EVars src Source #

Return the given EVars augmented by the ones used in given AST_Type.