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

Safe Haskell	None
Language	Haskell2010

Language.Symantic.Typing.Read

Synopsis

readType :: SourceInj (KindK src) src => SourceInj (TypeVT src) src => SourceInj (AST_Type src) src => AST_Type src -> Either (Error_Type src) (TypeVT src)
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)
readVars :: Source src => EVars src -> AST_Type src -> EVars src

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.