Safe Haskell	None
Language	Haskell2010

Language.Symantic.Typing.Grammar

Contents

Type NameTy
- Type NameConst
- Type NameFam
Type AST_Type
- Type Token_Type
Class Gram_Type

Synopsis

Type `NameTy`

newtype NameTy Source #

Constructors

NameTy Text

Instances

Eq NameTy Source #
Methods (==) :: NameTy -> NameTy -> Bool # (/=) :: NameTy -> NameTy -> Bool #
Ord NameTy Source #
Methods compare :: NameTy -> NameTy -> Ordering # (<) :: NameTy -> NameTy -> Bool # (<=) :: NameTy -> NameTy -> Bool # (>) :: NameTy -> NameTy -> Bool # (>=) :: NameTy -> NameTy -> Bool # max :: NameTy -> NameTy -> NameTy # min :: NameTy -> NameTy -> NameTy #
Show NameTy Source #
Methods showsPrec :: Int -> NameTy -> ShowS # show :: NameTy -> String # showList :: [NameTy] -> ShowS #
IsString NameTy Source #
Methods fromString :: String -> NameTy #

Type `NameConst`

type NameConst = NameTy Source #

Type `NameFam`

type NameFam = NameTy Source #

Type `AST_Type`

type AST_Type src = BinTree (Token_Type src) Source #

Abstract Syntax Tree of Token_Type.

Type `Token_Type`

data Token_Type src Source #

Constructors

Token_Type_Const (At src NameTy)
Token_Type_Var (At src NameVar)

Instances

Source src => Eq (Token_Type src) Source #
Methods (==) :: Token_Type src -> Token_Type src -> Bool # (/=) :: Token_Type src -> Token_Type src -> Bool #
Source src => Show (Token_Type src) Source #
Methods showsPrec :: Int -> Token_Type src -> ShowS # show :: Token_Type src -> String # showList :: [Token_Type src] -> ShowS #
Inj_Source (AST_Type (SrcTe inp ss)) (SrcTe inp ss) #
Methods inj_Source :: AST_Type (SrcTe inp ss) -> SrcTe inp ss #

Class `Gram_Type`

class (Gram_Source src g, Gram_Terminal 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 src g where Source #

Read an AST_Type from a textual source.

Methods

g_type :: CF g (AST_Type src) Source #

g_type_fun :: CF g (AST_Type src) Source #

g_type_list :: CF g (AST_Type src) Source #

g_type_tuple2 :: CF g (AST_Type src) Source #

g_type_app :: CF g (AST_Type src) Source #

g_type_atom :: CF g (AST_Type src) Source #

g_type_name_const :: CF g (AST_Type src) Source #

g_type_name_var :: CF g (AST_Type src) Source #

g_type_symbol :: CF g (AST_Type src) Source #

Instances

Gram_Source src RuleEBNF => Gram_Type src RuleEBNF Source #
Methods g_type :: CF RuleEBNF (AST_Type src) Source # g_type_fun :: CF RuleEBNF (AST_Type src) Source # g_type_list :: CF RuleEBNF (AST_Type src) Source # g_type_tuple2 :: CF RuleEBNF (AST_Type src) Source # g_type_app :: CF RuleEBNF (AST_Type src) Source # g_type_atom :: CF RuleEBNF (AST_Type src) Source # g_type_name_const :: CF RuleEBNF (AST_Type src) Source # g_type_name_var :: CF RuleEBNF (AST_Type src) Source # g_type_symbol :: CF RuleEBNF (AST_Type src) Source #
Gram_Source src EBNF => Gram_Type src EBNF Source #
Methods g_type :: CF EBNF (AST_Type src) Source # g_type_fun :: CF EBNF (AST_Type src) Source # g_type_list :: CF EBNF (AST_Type src) Source # g_type_tuple2 :: CF EBNF (AST_Type src) Source # g_type_app :: CF EBNF (AST_Type src) Source # g_type_atom :: CF EBNF (AST_Type src) Source # g_type_name_const :: CF EBNF (AST_Type src) Source # g_type_name_var :: CF EBNF (AST_Type src) Source # g_type_symbol :: CF EBNF (AST_Type src) Source #
Gram_Type src g => Gram_Type src (CF g) Source #
Methods g_type :: CF (CF g) (AST_Type src) Source # g_type_fun :: CF (CF g) (AST_Type src) Source # g_type_list :: CF (CF g) (AST_Type src) Source # g_type_tuple2 :: CF (CF g) (AST_Type src) Source # g_type_app :: CF (CF g) (AST_Type src) Source # g_type_atom :: CF (CF g) (AST_Type src) Source # g_type_name_const :: CF (CF g) (AST_Type src) Source # g_type_name_var :: CF (CF g) (AST_Type src) Source # g_type_symbol :: CF (CF g) (AST_Type src) Source #

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

List of the rules of Gram_Type.

Type NameTy

Type NameConst

Type NameFam

Type AST_Type

Type Token_Type

Class Gram_Type

Type `NameTy`

Type `NameConst`

Type `NameFam`

Type `AST_Type`

Type `Token_Type`

Class `Gram_Type`