Language.Symantic.Typing.Grammar

Type AST_Type

type AST_Type src = BinTree (Token_Type src)

Abstract Syntax Tree of Token_Type.

Type Token_Type

data Token_Type src

Constructors

Token_Type_Const (TypeTLen src)

Token_Type_Var (Sourced src NameVar)

Instances

Source src => Eq (Token_Type src)

Defined in Language.Symantic.Typing.Grammar

Methods

(==) :: Token_Type src -> Token_Type src -> Bool

(/=) :: Token_Type src -> Token_Type src -> Bool

(Source src, Show (TypeT src ([] :: [Type]))) => Show (Token_Type src)

Defined in Language.Symantic.Typing.Grammar

Methods

showsPrec :: Int -> Token_Type src -> ShowS

show :: Token_Type src -> String

showList :: [Token_Type src] -> ShowS

SourceInj (AST_Type (SrcTe inp ss)) (SrcTe inp ss)

Defined in Language.Symantic.Compiling.Read

Methods

sourceInj :: AST_Type (SrcTe inp ss) -> SrcTe inp ss

Type ModulesTy

type ModulesTy src = Map (Mod NameTy) (TypeTLen src)

Type TypeTLen

newtype TypeTLen src

Like TypeT, but needing a (Len vs) to be built.

Useful to build a ModulesTy which can be used whatever will be the (Len vs) given to readTyVars.

Constructors

TypeTLen (forall vs. Len vs -> TypeT src vs)

Instances

Source src => Eq (TypeTLen src)

Defined in Language.Symantic.Typing.Grammar

Methods

(==) :: TypeTLen src -> TypeTLen src -> Bool

(/=) :: TypeTLen src -> TypeTLen src -> Bool

(Source src, Show (TypeT src ([] :: [Type]))) => Show (TypeTLen src)

Defined in Language.Symantic.Typing.Grammar

Methods

showsPrec :: Int -> TypeTLen src -> ShowS

show :: TypeTLen src -> String

showList :: [TypeTLen src] -> ShowS

typeTLen :: forall c src. Source src => Constable c => KindInjP (Ty_of_Type (K c)) => K c ~ Type_of_Ty (Ty_of_Type (K c)) => src -> TypeTLen src

Class ModulesTyInj

class ModulesTyInj ts where

Derive a ModulesTy from the given type-level list of Proxy-fied type constants.

Methods

modulesTyInj :: Source src => ModulesTy src

Instances

ModulesTyInj ([] :: [k])

Defined in Language.Symantic.Typing.Grammar

Methods

modulesTyInj :: Source src => ModulesTy src

(KindInjP (Ty_of_Type (K c)), K c ~ Type_of_Ty (Ty_of_Type (K c)), Constable c, ModulesTyInj ts) => ModulesTyInj (Proxy c ': ts :: [Type])

Defined in Language.Symantic.Typing.Grammar

Methods

modulesTyInj :: Source src => ModulesTy src

Class Gram_Mod

class (Gram_Char g, Gram_Rule g, Gram_Alt g, Gram_Try g, Gram_App g, Gram_AltApp g, Gram_RegL g, Gram_CF g, Gram_Comment g, Gram_Op g) => Gram_Mod g where

Minimal complete definition

Nothing

Methods

g_PathMod :: CF g PathMod

g_NameMod :: CF g NameMod

Instances

Gram_Mod EBNF

Defined in Language.Symantic.Typing.Grammar

Methods

g_PathMod :: CF EBNF PathMod

g_NameMod :: CF EBNF NameMod

Gram_Mod RuleEBNF

Defined in Language.Symantic.Typing.Grammar

Methods

g_PathMod :: CF RuleEBNF PathMod

g_NameMod :: CF RuleEBNF NameMod

Gram_Mod g => Gram_Mod (CF g)

Defined in Language.Symantic.Typing.Grammar

Methods

g_PathMod :: CF (CF g) PathMod

g_NameMod :: CF (CF g) NameMod

Class Gram_Type_Name

class (Gram_Char g, Gram_Rule g, Gram_Alt g, Gram_Try g, Gram_App g, Gram_AltApp g, Gram_RegL g, Gram_CF g, Gram_Comment g, Gram_Op g, Gram_Mod g) => Gram_Type_Name g where

Minimal complete definition

Nothing

Methods

g_ModNameTy :: CF g (Mod NameTy)

g_ModNameTyId :: CF g (Mod NameTy)

g_NameTyId :: CF g NameTy

g_ModNameTyOp :: CF g (Mod NameTy)

g_NameTyOp :: CF g NameTy

Instances

Gram_Type_Name EBNF

Defined in Language.Symantic.Typing.Grammar

Methods

g_ModNameTy :: CF EBNF (Mod NameTy)

g_ModNameTyId :: CF EBNF (Mod NameTy)

g_NameTyId :: CF EBNF NameTy

g_ModNameTyOp :: CF EBNF (Mod NameTy)

g_NameTyOp :: CF EBNF NameTy

Gram_Type_Name RuleEBNF

Defined in Language.Symantic.Typing.Grammar

Methods

g_ModNameTy :: CF RuleEBNF (Mod NameTy)

g_ModNameTyId :: CF RuleEBNF (Mod NameTy)

g_NameTyId :: CF RuleEBNF NameTy

g_ModNameTyOp :: CF RuleEBNF (Mod NameTy)

g_NameTyOp :: CF RuleEBNF NameTy

Gram_Type_Name g => Gram_Type_Name (CF g)

Defined in Language.Symantic.Typing.Grammar

Methods

g_ModNameTy :: CF (CF g) (Mod NameTy)

g_ModNameTyId :: CF (CF g) (Mod NameTy)

g_NameTyId :: CF (CF g) NameTy

g_ModNameTyOp :: CF (CF g) (Mod NameTy)

g_NameTyOp :: CF (CF g) NameTy

Class Gram_Type

class (Gram_Source src g, Gram_Char g, Gram_Rule g, Gram_Alt g, Gram_Try g, Gram_App g, Gram_AltApp g, Gram_CF g, Gram_Comment g, Gram_Op g, Gram_Type_Name g, Gram_Error (Error_Type src) g, Gram_State (Imports NameTy, ModulesTy src) g, Constable (->), Constable [], Constable (,)) => Gram_Type src g where

Read an AST_Type from a textual source.

Minimal complete definition

Nothing

Methods

g_type :: CF g (AST_Type src)

g_type_fun :: CF g (AST_Type src)

g_type_list :: CF g (AST_Type src)

g_type_tuple2 :: CF g (AST_Type src)

g_type_app :: CF g (AST_Type src)

g_type_atom :: CF g (AST_Type src)

g_type_const :: CF g (AST_Type src)

g_type_var :: CF g (AST_Type src)

Instances

(Gram_Source src RuleEBNF, Constable ((->) :: Type -> Type -> Type), Constable (,), Constable []) => Gram_Type src RuleEBNF

Defined in Language.Symantic.Typing.Grammar

Methods

g_type :: CF RuleEBNF (AST_Type src)

g_type_fun :: CF RuleEBNF (AST_Type src)

g_type_list :: CF RuleEBNF (AST_Type src)

g_type_tuple2 :: CF RuleEBNF (AST_Type src)

g_type_app :: CF RuleEBNF (AST_Type src)

g_type_atom :: CF RuleEBNF (AST_Type src)

g_type_const :: CF RuleEBNF (AST_Type src)

g_type_var :: CF RuleEBNF (AST_Type src)

(Gram_Source src EBNF, Constable ((->) :: Type -> Type -> Type), Constable (,), Constable []) => Gram_Type src EBNF

Defined in Language.Symantic.Typing.Grammar

Methods

g_type :: CF EBNF (AST_Type src)

g_type_fun :: CF EBNF (AST_Type src)

g_type_list :: CF EBNF (AST_Type src)

g_type_tuple2 :: CF EBNF (AST_Type src)

g_type_app :: CF EBNF (AST_Type src)

g_type_atom :: CF EBNF (AST_Type src)

g_type_const :: CF EBNF (AST_Type src)

g_type_var :: CF EBNF (AST_Type src)

Gram_Type src g => Gram_Type src (CF g)

Defined in Language.Symantic.Typing.Grammar

Methods

g_type :: CF (CF g) (AST_Type src)

g_type_fun :: CF (CF g) (AST_Type src)

g_type_list :: CF (CF g) (AST_Type src)

g_type_tuple2 :: CF (CF g) (AST_Type src)

g_type_app :: CF (CF g) (AST_Type src)

g_type_atom :: CF (CF g) (AST_Type src)

g_type_const :: CF (CF g) (AST_Type src)

g_type_var :: CF (CF g) (AST_Type src)

readTyName :: Source src => Imports NameTy -> ModulesTy src -> src -> Mod NameTy -> Either (Error_Type src) (TypeTLen src)

Lookup a TyConst or Type synonym associated with given NameTy in given ModulesTy, building it for a vs of given Len.

Type Error_Type

data Error_Type src

Constructors

Error_Type_Constant_unknown (Sourced src (Mod NameTy))

Error_Type_Con_Kind (Con_Kind src)

Instances

Eq src => Eq (Error_Type src)

Defined in Language.Symantic.Typing.Grammar

Methods

(==) :: Error_Type src -> Error_Type src -> Bool

(/=) :: Error_Type src -> Error_Type src -> Bool

Show src => Show (Error_Type src)

Defined in Language.Symantic.Typing.Grammar

Methods

showsPrec :: Int -> Error_Type src -> ShowS

show :: Error_Type src -> String

showList :: [Error_Type src] -> ShowS

ErrorInj (Con_Kind src) (Error_Type src)

Defined in Language.Symantic.Typing.Grammar

Methods

errorInj :: Con_Kind src -> Error_Type src

ErrorInj (Error_Type src) (Error_Type src)

Defined in Language.Symantic.Typing.Grammar

Methods

errorInj :: Error_Type src -> Error_Type src

ErrorInj (Error_Type src) (Error_Term src)

Defined in Language.Symantic.Compiling.Read

Methods

errorInj :: Error_Type src -> Error_Term src

gram_type :: Gram_Type () g => [CF g (AST_Type ())]

List of the rules of Gram_Type.