gram
Safe HaskellSafe-Inferred
LanguageHaskell2010

Gram.CST

Synopsis

Documentation

data Gram Source #

Top-level Gram structure gram: optional(record) + repeat(annotated_pattern)

Constructors

Gram 

Fields

Instances

Instances details
Generic Gram Source # 
Instance details

Defined in Gram.CST

Associated Types

type Rep Gram 
Instance details

Defined in Gram.CST

type Rep Gram = D1 ('MetaData "Gram" "Gram.CST" "gram-0.2.0-inplace" 'False) (C1 ('MetaCons "Gram" 'PrefixI 'True) (S1 ('MetaSel ('Just "gramRecord") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe (Map String Value))) :*: S1 ('MetaSel ('Just "gramPatterns") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [AnnotatedPattern])))

Methods

from :: Gram -> Rep Gram x #

to :: Rep Gram x -> Gram #

Show Gram Source # 
Instance details

Defined in Gram.CST

Methods

showsPrec :: Int -> Gram -> ShowS #

show :: Gram -> String #

showList :: [Gram] -> ShowS #

Eq Gram Source # 
Instance details

Defined in Gram.CST

Methods

(==) :: Gram -> Gram -> Bool #

(/=) :: Gram -> Gram -> Bool #

type Rep Gram Source # 
Instance details

Defined in Gram.CST

type Rep Gram = D1 ('MetaData "Gram" "Gram.CST" "gram-0.2.0-inplace" 'False) (C1 ('MetaCons "Gram" 'PrefixI 'True) (S1 ('MetaSel ('Just "gramRecord") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe (Map String Value))) :*: S1 ('MetaSel ('Just "gramPatterns") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [AnnotatedPattern])))

data AnnotatedPattern Source #

A top-level annotated pattern annotated_pattern: optional(annotations) + single(pattern_element) Note: In tree-sitter-gram 0.2.7, annotated_pattern contains exactly ONE element. Comma-separated sequences only appear inside subject_pattern elements (after |).

Constructors

AnnotatedPattern 

Fields

Instances

Instances details
Generic AnnotatedPattern Source # 
Instance details

Defined in Gram.CST

Associated Types

type Rep AnnotatedPattern 
Instance details

Defined in Gram.CST

type Rep AnnotatedPattern = D1 ('MetaData "AnnotatedPattern" "Gram.CST" "gram-0.2.0-inplace" 'False) (C1 ('MetaCons "AnnotatedPattern" 'PrefixI 'True) (S1 ('MetaSel ('Just "apAnnotations") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Annotation]) :*: S1 ('MetaSel ('Just "apElements") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [PatternElement])))

Methods

from :: AnnotatedPattern -> Rep AnnotatedPattern x #

to :: Rep AnnotatedPattern x -> AnnotatedPattern #

Show AnnotatedPattern Source # 
Instance details

Defined in Gram.CST

Methods

showsPrec :: Int -> AnnotatedPattern -> ShowS #

show :: AnnotatedPattern -> String #

showList :: [AnnotatedPattern] -> ShowS #

Eq AnnotatedPattern Source # 
Instance details

Defined in Gram.CST

Methods

(==) :: AnnotatedPattern -> AnnotatedPattern -> Bool #

(/=) :: AnnotatedPattern -> AnnotatedPattern -> Bool #

type Rep AnnotatedPattern Source # 
Instance details

Defined in Gram.CST

type Rep AnnotatedPattern = D1 ('MetaData "AnnotatedPattern" "Gram.CST" "gram-0.2.0-inplace" 'False) (C1 ('MetaCons "AnnotatedPattern" 'PrefixI 'True) (S1 ('MetaSel ('Just "apAnnotations") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Annotation]) :*: S1 ('MetaSel ('Just "apElements") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [PatternElement])))

data PatternElement Source #

Element of a pattern pattern_element: subject_pattern | path_pattern | pattern_reference

Constructors

PEPath Path 
PESubjectPattern SubjectPattern 
PEReference Identifier 

Instances

Instances details
Generic PatternElement Source # 
Instance details

Defined in Gram.CST

Associated Types

type Rep PatternElement 
Instance details

Defined in Gram.CST

type Rep PatternElement = D1 ('MetaData "PatternElement" "Gram.CST" "gram-0.2.0-inplace" 'False) (C1 ('MetaCons "PEPath" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Path)) :+: (C1 ('MetaCons "PESubjectPattern" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SubjectPattern)) :+: C1 ('MetaCons "PEReference" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Identifier))))

Methods

from :: PatternElement -> Rep PatternElement x #

to :: Rep PatternElement x -> PatternElement #

Show PatternElement Source # 
Instance details

Defined in Gram.CST

Methods

showsPrec :: Int -> PatternElement -> ShowS #

show :: PatternElement -> String #

showList :: [PatternElement] -> ShowS #

Eq PatternElement Source # 
Instance details

Defined in Gram.CST

Methods

(==) :: PatternElement -> PatternElement -> Bool #

(/=) :: PatternElement -> PatternElement -> Bool #

type Rep PatternElement Source # 
Instance details

Defined in Gram.CST

type Rep PatternElement = D1 ('MetaData "PatternElement" "Gram.CST" "gram-0.2.0-inplace" 'False) (C1 ('MetaCons "PEPath" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Path)) :+: (C1 ('MetaCons "PESubjectPattern" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SubjectPattern)) :+: C1 ('MetaCons "PEReference" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Identifier))))

data Path Source #

A path structure (node connected by relationships) path_pattern: node_pattern | relationship_pattern This represents the linearized path: (a)-[r1]->(b)<-[r2]-(c)

Constructors

Path 

Fields

Instances

Instances details
Generic Path Source # 
Instance details

Defined in Gram.CST

Associated Types

type Rep Path 
Instance details

Defined in Gram.CST

type Rep Path = D1 ('MetaData "Path" "Gram.CST" "gram-0.2.0-inplace" 'False) (C1 ('MetaCons "Path" 'PrefixI 'True) (S1 ('MetaSel ('Just "pathStart") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Node) :*: S1 ('MetaSel ('Just "pathSegments") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [PathSegment])))

Methods

from :: Path -> Rep Path x #

to :: Rep Path x -> Path #

Show Path Source # 
Instance details

Defined in Gram.CST

Methods

showsPrec :: Int -> Path -> ShowS #

show :: Path -> String #

showList :: [Path] -> ShowS #

Eq Path Source # 
Instance details

Defined in Gram.CST

Methods

(==) :: Path -> Path -> Bool #

(/=) :: Path -> Path -> Bool #

type Rep Path Source # 
Instance details

Defined in Gram.CST

type Rep Path = D1 ('MetaData "Path" "Gram.CST" "gram-0.2.0-inplace" 'False) (C1 ('MetaCons "Path" 'PrefixI 'True) (S1 ('MetaSel ('Just "pathStart") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Node) :*: S1 ('MetaSel ('Just "pathSegments") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [PathSegment])))

data PathSegment Source #

A segment of a path: a relationship and the next node

Constructors

PathSegment 

Fields

Instances

Instances details
Generic PathSegment Source # 
Instance details

Defined in Gram.CST

Associated Types

type Rep PathSegment 
Instance details

Defined in Gram.CST

type Rep PathSegment = D1 ('MetaData "PathSegment" "Gram.CST" "gram-0.2.0-inplace" 'False) (C1 ('MetaCons "PathSegment" 'PrefixI 'True) (S1 ('MetaSel ('Just "segmentRel") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Relationship) :*: S1 ('MetaSel ('Just "segmentNode") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Node)))

Methods

from :: PathSegment -> Rep PathSegment x #

to :: Rep PathSegment x -> PathSegment #

Show PathSegment Source # 
Instance details

Defined in Gram.CST

Methods

showsPrec :: Int -> PathSegment -> ShowS #

show :: PathSegment -> String #

showList :: [PathSegment] -> ShowS #

Eq PathSegment Source # 
Instance details

Defined in Gram.CST

Methods

(==) :: PathSegment -> PathSegment -> Bool #

(/=) :: PathSegment -> PathSegment -> Bool #

type Rep PathSegment Source # 
Instance details

Defined in Gram.CST

type Rep PathSegment = D1 ('MetaData "PathSegment" "Gram.CST" "gram-0.2.0-inplace" 'False) (C1 ('MetaCons "PathSegment" 'PrefixI 'True) (S1 ('MetaSel ('Just "segmentRel") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Relationship) :*: S1 ('MetaSel ('Just "segmentNode") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Node)))

data Node Source #

A node structure node_pattern: (subject?)

Constructors

Node 

Fields

Instances

Instances details
Generic Node Source # 
Instance details

Defined in Gram.CST

Associated Types

type Rep Node 
Instance details

Defined in Gram.CST

type Rep Node = D1 ('MetaData "Node" "Gram.CST" "gram-0.2.0-inplace" 'False) (C1 ('MetaCons "Node" 'PrefixI 'True) (S1 ('MetaSel ('Just "nodeSubject") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe SubjectData))))

Methods

from :: Node -> Rep Node x #

to :: Rep Node x -> Node #

Show Node Source # 
Instance details

Defined in Gram.CST

Methods

showsPrec :: Int -> Node -> ShowS #

show :: Node -> String #

showList :: [Node] -> ShowS #

Eq Node Source # 
Instance details

Defined in Gram.CST

Methods

(==) :: Node -> Node -> Bool #

(/=) :: Node -> Node -> Bool #

type Rep Node Source # 
Instance details

Defined in Gram.CST

type Rep Node = D1 ('MetaData "Node" "Gram.CST" "gram-0.2.0-inplace" 'False) (C1 ('MetaCons "Node" 'PrefixI 'True) (S1 ('MetaSel ('Just "nodeSubject") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe SubjectData))))

data Relationship Source #

A relationship structure relationship_pattern In CST, we capture the arrow and the optional subject

Constructors

Relationship 

Fields

Instances

Instances details
Generic Relationship Source # 
Instance details

Defined in Gram.CST

Associated Types

type Rep Relationship 
Instance details

Defined in Gram.CST

type Rep Relationship = D1 ('MetaData "Relationship" "Gram.CST" "gram-0.2.0-inplace" 'False) (C1 ('MetaCons "Relationship" 'PrefixI 'True) (S1 ('MetaSel ('Just "relArrow") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :*: S1 ('MetaSel ('Just "relSubject") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe SubjectData))))

Methods

from :: Relationship -> Rep Relationship x #

to :: Rep Relationship x -> Relationship #

Show Relationship Source # 
Instance details

Defined in Gram.CST

Methods

showsPrec :: Int -> Relationship -> ShowS #

show :: Relationship -> String #

showList :: [Relationship] -> ShowS #

Eq Relationship Source # 
Instance details

Defined in Gram.CST

Methods

(==) :: Relationship -> Relationship -> Bool #

(/=) :: Relationship -> Relationship -> Bool #

type Rep Relationship Source # 
Instance details

Defined in Gram.CST

type Rep Relationship = D1 ('MetaData "Relationship" "Gram.CST" "gram-0.2.0-inplace" 'False) (C1 ('MetaCons "Relationship" 'PrefixI 'True) (S1 ('MetaSel ('Just "relArrow") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :*: S1 ('MetaSel ('Just "relSubject") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe SubjectData))))

data SubjectPattern Source #

A subject pattern structure (bracket notation) subject_pattern: [subject | elements]

Constructors

SubjectPattern 

Fields

Instances

Instances details
Generic SubjectPattern Source # 
Instance details

Defined in Gram.CST

Associated Types

type Rep SubjectPattern 
Instance details

Defined in Gram.CST

type Rep SubjectPattern = D1 ('MetaData "SubjectPattern" "Gram.CST" "gram-0.2.0-inplace" 'False) (C1 ('MetaCons "SubjectPattern" 'PrefixI 'True) (S1 ('MetaSel ('Just "spSubject") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe SubjectData)) :*: S1 ('MetaSel ('Just "spElements") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [PatternElement])))

Methods

from :: SubjectPattern -> Rep SubjectPattern x #

to :: Rep SubjectPattern x -> SubjectPattern #

Show SubjectPattern Source # 
Instance details

Defined in Gram.CST

Methods

showsPrec :: Int -> SubjectPattern -> ShowS #

show :: SubjectPattern -> String #

showList :: [SubjectPattern] -> ShowS #

Eq SubjectPattern Source # 
Instance details

Defined in Gram.CST

Methods

(==) :: SubjectPattern -> SubjectPattern -> Bool #

(/=) :: SubjectPattern -> SubjectPattern -> Bool #

type Rep SubjectPattern Source # 
Instance details

Defined in Gram.CST

type Rep SubjectPattern = D1 ('MetaData "SubjectPattern" "Gram.CST" "gram-0.2.0-inplace" 'False) (C1 ('MetaCons "SubjectPattern" 'PrefixI 'True) (S1 ('MetaSel ('Just "spSubject") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe SubjectData)) :*: S1 ('MetaSel ('Just "spElements") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [PatternElement])))

data SubjectData Source #

Subject data container (Identifier, Labels, Record) Maps to subject in grammar

Constructors

SubjectData 

Fields

Instances

Instances details
Generic SubjectData Source # 
Instance details

Defined in Gram.CST

Associated Types

type Rep SubjectData 
Instance details

Defined in Gram.CST

type Rep SubjectData = D1 ('MetaData "SubjectData" "Gram.CST" "gram-0.2.0-inplace" 'False) (C1 ('MetaCons "SubjectData" 'PrefixI 'True) (S1 ('MetaSel ('Just "dataIdentifier") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Identifier)) :*: (S1 ('MetaSel ('Just "dataLabels") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set String)) :*: S1 ('MetaSel ('Just "dataProperties") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map String Value)))))

Methods

from :: SubjectData -> Rep SubjectData x #

to :: Rep SubjectData x -> SubjectData #

Show SubjectData Source # 
Instance details

Defined in Gram.CST

Methods

showsPrec :: Int -> SubjectData -> ShowS #

show :: SubjectData -> String #

showList :: [SubjectData] -> ShowS #

Eq SubjectData Source # 
Instance details

Defined in Gram.CST

Methods

(==) :: SubjectData -> SubjectData -> Bool #

(/=) :: SubjectData -> SubjectData -> Bool #

type Rep SubjectData Source # 
Instance details

Defined in Gram.CST

type Rep SubjectData = D1 ('MetaData "SubjectData" "Gram.CST" "gram-0.2.0-inplace" 'False) (C1 ('MetaCons "SubjectData" 'PrefixI 'True) (S1 ('MetaSel ('Just "dataIdentifier") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Identifier)) :*: (S1 ('MetaSel ('Just "dataLabels") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set String)) :*: S1 ('MetaSel ('Just "dataProperties") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map String Value)))))

data Annotation Source #

Metadata annotation annotation: @key(value)

Constructors

Annotation 

Fields

Instances

Instances details
Generic Annotation Source # 
Instance details

Defined in Gram.CST

Associated Types

type Rep Annotation 
Instance details

Defined in Gram.CST

type Rep Annotation = D1 ('MetaData "Annotation" "Gram.CST" "gram-0.2.0-inplace" 'False) (C1 ('MetaCons "Annotation" 'PrefixI 'True) (S1 ('MetaSel ('Just "annKey") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Symbol) :*: S1 ('MetaSel ('Just "annValue") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Value)))

Methods

from :: Annotation -> Rep Annotation x #

to :: Rep Annotation x -> Annotation #

Show Annotation Source # 
Instance details

Defined in Gram.CST

Methods

showsPrec :: Int -> Annotation -> ShowS #

show :: Annotation -> String #

showList :: [Annotation] -> ShowS #

Eq Annotation Source # 
Instance details

Defined in Gram.CST

Methods

(==) :: Annotation -> Annotation -> Bool #

(/=) :: Annotation -> Annotation -> Bool #

type Rep Annotation Source # 
Instance details

Defined in Gram.CST

type Rep Annotation = D1 ('MetaData "Annotation" "Gram.CST" "gram-0.2.0-inplace" 'False) (C1 ('MetaCons "Annotation" 'PrefixI 'True) (S1 ('MetaSel ('Just "annKey") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Symbol) :*: S1 ('MetaSel ('Just "annValue") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Value)))

data Identifier Source #

Constructors

IdentSymbol Symbol 
IdentString String 
IdentInteger Integer 

Instances

Instances details
Generic Identifier Source # 
Instance details

Defined in Gram.CST

Associated Types

type Rep Identifier 
Instance details

Defined in Gram.CST

type Rep Identifier = D1 ('MetaData "Identifier" "Gram.CST" "gram-0.2.0-inplace" 'False) (C1 ('MetaCons "IdentSymbol" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Symbol)) :+: (C1 ('MetaCons "IdentString" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)) :+: C1 ('MetaCons "IdentInteger" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer))))

Methods

from :: Identifier -> Rep Identifier x #

to :: Rep Identifier x -> Identifier #

Show Identifier Source # 
Instance details

Defined in Gram.CST

Methods

showsPrec :: Int -> Identifier -> ShowS #

show :: Identifier -> String #

showList :: [Identifier] -> ShowS #

Eq Identifier Source # 
Instance details

Defined in Gram.CST

Methods

(==) :: Identifier -> Identifier -> Bool #

(/=) :: Identifier -> Identifier -> Bool #

Ord Identifier Source # 
Instance details

Defined in Gram.CST

Methods

compare :: Identifier -> Identifier -> Ordering #

(<) :: Identifier -> Identifier -> Bool #

(<=) :: Identifier -> Identifier -> Bool #

(>) :: Identifier -> Identifier -> Bool #

(>=) :: Identifier -> Identifier -> Bool #

max :: Identifier -> Identifier -> Identifier #

min :: Identifier -> Identifier -> Identifier #

type Rep Identifier Source # 
Instance details

Defined in Gram.CST

type Rep Identifier = D1 ('MetaData "Identifier" "Gram.CST" "gram-0.2.0-inplace" 'False) (C1 ('MetaCons "IdentSymbol" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Symbol)) :+: (C1 ('MetaCons "IdentString" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)) :+: C1 ('MetaCons "IdentInteger" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer))))

newtype Symbol Source #

Identifiers

Constructors

Symbol String 

Instances

Instances details
Generic Symbol Source # 
Instance details

Defined in Gram.CST

Associated Types

type Rep Symbol 
Instance details

Defined in Gram.CST

type Rep Symbol = D1 ('MetaData "Symbol" "Gram.CST" "gram-0.2.0-inplace" 'True) (C1 ('MetaCons "Symbol" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)))

Methods

from :: Symbol -> Rep Symbol x #

to :: Rep Symbol x -> Symbol #

Show Symbol Source # 
Instance details

Defined in Gram.CST

Methods

showsPrec :: Int -> Symbol -> ShowS #

show :: Symbol -> String #

showList :: [Symbol] -> ShowS #

Eq Symbol Source # 
Instance details

Defined in Gram.CST

Methods

(==) :: Symbol -> Symbol -> Bool #

(/=) :: Symbol -> Symbol -> Bool #

Ord Symbol Source # 
Instance details

Defined in Gram.CST

Methods

compare :: Symbol -> Symbol -> Ordering #

(<) :: Symbol -> Symbol -> Bool #

(<=) :: Symbol -> Symbol -> Bool #

(>) :: Symbol -> Symbol -> Bool #

(>=) :: Symbol -> Symbol -> Bool #

max :: Symbol -> Symbol -> Symbol #

min :: Symbol -> Symbol -> Symbol #

type Rep Symbol Source # 
Instance details

Defined in Gram.CST

type Rep Symbol = D1 ('MetaData "Symbol" "Gram.CST" "gram-0.2.0-inplace" 'True) (C1 ('MetaCons "Symbol" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)))

type Value = Value Source #

Values (mirroring Subject.Value but local to CST if needed, or we can reuse Core types if they are purely data) NOTE: These type aliases are kept for potential future use.

type RangeValue = RangeValue Source #