Safe Haskell	Safe-Inferred
Language	Haskell2010

Language.Grammars.AspectAG.RecordInstances

Contents

Constructors
Constructors
Destructors
Children
Productions

Synopsis

data Att = Att Symbol Type
data Prod = Prd Symbol NT
data Child = Chi Symbol Prod (Either NT T)
data NT = NT Symbol
data T = T Type
prdFromChi :: Label (Chi nam prd tnt) -> Label prd
type Record = Rec Reco
data Reco
type Tagged = TagField Reco
pattern Tagged :: v -> Tagged l v
type Attribution (attr :: [(Att, Type)]) = Rec AttReco attr
data AttReco
type Attribute (l :: Att) (v :: Type) = TagField AttReco l v
pattern Attribute :: v -> TagField AttReco l v
(=.) :: Label l -> v -> Attribute l v
(*.) :: forall (att :: Att) val (atts :: [(Att, Type)]). Require (OpExtend AttReco att val atts) '['Text ""] => Attribute att val -> Attribution atts -> ReqR (OpExtend AttReco att val atts)
emptyAtt :: Attribution '[]
(#.) :: (msg ~ '[(Text "looking up attribute " :<>: ShowTE l) :$$: (Text "on " :<>: ShowTE r)], Require (OpLookup AttReco l r) msg) => Attribution r -> Label l -> ReqR (OpLookup AttReco l r)
type ChAttsRec prd (chs :: [(Child, [(Att, Type)])]) = Rec (ChiReco prd) chs
data ChiReco (prd :: Prod)
type TaggedChAttr prd = TagField (ChiReco prd)
pattern TaggedChAttr :: Label l -> WrapField (ChiReco prd) v -> TaggedChAttr prd l v
(.=) :: Label l -> WrapField (ChiReco prd) v -> TaggedChAttr prd l v
(.*) :: forall (prd :: Prod) (ch :: Child) (attrib :: [(Att, Type)]) (attribs :: [(Child, [(Att, Type)])]). Require (OpExtend (ChiReco prd) ch attrib attribs) '['Text ""] => TaggedChAttr prd ch attrib -> ChAttsRec prd attribs -> ReqR (OpExtend (ChiReco prd) ch attrib attribs)
emptyCh :: ChAttsRec prd '[]
unTaggedChAttr :: TaggedChAttr prd l v -> WrapField (ChiReco prd) v
labelChAttr :: TaggedChAttr prd l a -> Label l
(.#) :: (c ~ 'Chi ch prd nt, ctx ~ '[((Text "looking up " :<>: ShowTE c) :$$: (Text "on " :<>: ShowTE r)) :$$: (Text "producion: " :<>: ShowTE prd)], Require (OpLookup (ChiReco prd) c r) ctx) => Rec (ChiReco prd) r -> Label c -> ReqR (OpLookup (ChiReco prd) c r)
data PrdReco
type Aspect (asp :: [(Prod, Type)]) = Rec PrdReco asp

Documentation

data Att Source #

Constructors

Att Symbol Type

Instances

Instances details

OrdType Att Source #
Instance details Defined in Language.Grammars.AspectAG.RecordInstances Associated Types type Cmp a b :: Ordering #
type UnWrap (Attribution r) Source #
Instance details Defined in Language.Grammars.AspectAG type UnWrap (Attribution r) = r
type UnWrap (Rec c r) Source #
Instance details Defined in Language.Grammars.AspectAG type UnWrap (Rec c r) = r
type ShowTE ('Att l t :: Att) Source #
Instance details Defined in Language.Grammars.AspectAG.RecordInstances type ShowTE ('Att l t :: Att) = 'Text (AppendSymbol (AppendSymbol (AppendSymbol (AppendSymbol "(" l) ":") (FromEM (ShowTE t))) ")")
type Cmp ('Att a _1 :: Att) ('Att b _2 :: Att) Source #
Instance details Defined in Language.Grammars.AspectAG.RecordInstances type Cmp ('Att a _1 :: Att) ('Att b _2 :: Att) = CmpSymbol a b
type WrapField (ChiReco prd :: Type) (v :: [(Att, Type)]) Source #	Field type
Instance details Defined in Language.Grammars.AspectAG.RecordInstances type WrapField (ChiReco prd :: Type) (v :: [(Att, Type)]) = Attribution v

data Prod Source #

Constructors

Prd Symbol NT

Instances

Instances details

OrdType Prod Source #
Instance details Defined in Language.Grammars.AspectAG.RecordInstances Associated Types type Cmp a b :: Ordering #
type ShowTE ('Prd l nt :: Prod) Source #
Instance details Defined in Language.Grammars.AspectAG.RecordInstances type ShowTE ('Prd l nt :: Prod) = 'Text (AppendSymbol (AppendSymbol (AppendSymbol (AppendSymbol "(" l) " of ") (FromEM (ShowTE nt))) ")")
type Cmp ('Prd a _1 :: Prod) ('Prd b _2 :: Prod) Source #
Instance details Defined in Language.Grammars.AspectAG.RecordInstances type Cmp ('Prd a _1 :: Prod) ('Prd b _2 :: Prod) = CmpSymbol a b

data Child Source #

Constructors

Chi Symbol Prod (Either NT T)

Instances

Instances details

OrdType Child Source #
Instance details Defined in Language.Grammars.AspectAG.RecordInstances Associated Types type Cmp a b :: Ordering #
type ShowTE ('Chi l p s :: Child) Source #
Instance details Defined in Language.Grammars.AspectAG.RecordInstances type ShowTE ('Chi l p s :: Child) = 'Text (AppendSymbol (AppendSymbol (AppendSymbol "Child " l) " of producion ") (FromEM (ShowTE p)))
type Cmp ('Chi a _1 _2 :: Child) ('Chi b _3 _4 :: Child) Source #
Instance details Defined in Language.Grammars.AspectAG.RecordInstances type Cmp ('Chi a _1 _2 :: Child) ('Chi b _3 _4 :: Child) = CmpSymbol a b

data NT Source #

Constructors

NT Symbol

Instances

Instances details

type ShowTE ('NT l :: NT) Source #
Instance details Defined in Language.Grammars.AspectAG.RecordInstances type ShowTE ('NT l :: NT) = 'Text (AppendSymbol "Non-Terminal " l)

data T Source #

Constructors

T Type

Instances

Instances details

type ShowTE ('T l :: T) Source #
Instance details Defined in Language.Grammars.AspectAG.RecordInstances type ShowTE ('T l :: T) = 'Text (AppendSymbol "Terminal " (FromEM (ShowTE l)))

prdFromChi :: Label (Chi nam prd tnt) -> Label prd Source #

type Record = Rec Reco Source #

Records

datatype definition

data Reco Source #

index type

Instances

Instances details

type ShowRec Reco Source #	Type level show utilities
Instance details Defined in Language.Grammars.AspectAG.RecordInstances type ShowRec Reco = "Record"
type ShowField Reco Source #
Instance details Defined in Language.Grammars.AspectAG.RecordInstances type ShowField Reco = "field"
type WrapField Reco (v :: Type) Source #	field type
Instance details Defined in Language.Grammars.AspectAG.RecordInstances type WrapField Reco (v :: Type) = v

type Tagged = TagField Reco Source #

pattern Tagged :: v -> Tagged l v Source #

Constructors

type Attribution (attr :: [(Att, Type)]) = Rec AttReco attr Source #

Attribution | An attribution is a record constructed from attributes

datatype implementation

data AttReco Source #

index type

Instances

Instances details

type ShowRec AttReco Source #	type level utilities
Instance details Defined in Language.Grammars.AspectAG.RecordInstances type ShowRec AttReco = "Attribution"
type ShowField AttReco Source #
Instance details Defined in Language.Grammars.AspectAG.RecordInstances type ShowField AttReco = "attribute"
type UnWrap (Attribution r) Source #
Instance details Defined in Language.Grammars.AspectAG type UnWrap (Attribution r) = r
type WrapField AttReco (v :: Type) Source #	field type
Instance details Defined in Language.Grammars.AspectAG.RecordInstances type WrapField AttReco (v :: Type) = v

type Attribute (l :: Att) (v :: Type) = TagField AttReco l v Source #

Pattern Synonyms pattern EmptyAtt :: Attribution '[] pattern EmptyAtt = EmptyRec pattern ConsAtt :: LabelSet ( '(att, val) ': atts) => Attribute att val -> Attribution atts -> Attribution ( '(att,val) ': atts) pattern ConsAtt att atts = ConsRec att atts

Attribute

pattern Attribute :: v -> TagField AttReco l v Source #

Constructors

(=.) :: Label l -> v -> Attribute l v infixr 4 Source #

Apretty constructor for an attribute

(*.) :: forall (att :: Att) val (atts :: [(Att, Type)]). Require (OpExtend AttReco att val atts) '['Text ""] => Attribute att val -> Attribution atts -> ReqR (OpExtend AttReco att val atts) infixr 2 Source #

Extending

emptyAtt :: Attribution '[] Source #

Empty

Destructors

(#.) :: (msg ~ '[(Text "looking up attribute " :<>: ShowTE l) :$$: (Text "on " :<>: ShowTE r)], Require (OpLookup AttReco l r) msg) => Attribution r -> Label l -> ReqR (OpLookup AttReco l r) infixl 7 Source #

Children

type ChAttsRec prd (chs :: [(Child, [(Att, Type)])]) = Rec (ChiReco prd) chs Source #

operations for the children

datatype implementation

data ChiReco (prd :: Prod) Source #

index type

Instances

Instances details

type ShowRec (ChiReco a) Source #	Type level Show utilities
Instance details Defined in Language.Grammars.AspectAG.RecordInstances type ShowRec (ChiReco a) = "Children Map"
type ShowField (ChiReco a) Source #
Instance details Defined in Language.Grammars.AspectAG.RecordInstances type ShowField (ChiReco a) = "child labelled "
type WrapField (ChiReco prd :: Type) (v :: [(Att, Type)]) Source #	Field type
Instance details Defined in Language.Grammars.AspectAG.RecordInstances type WrapField (ChiReco prd :: Type) (v :: [(Att, Type)]) = Attribution v

Pattern synonyms

type TaggedChAttr prd = TagField (ChiReco prd) Source #

since now we implement ChAttsRec as a generic record, this allows us to recover pattern matching pattern EmptyCh :: ChAttsRec prd '[] pattern EmptyCh = EmptyRec pattern ConsCh :: (LabelSet ( '( 'Chi ch prd nt, v) ': xs)) => TaggedChAttr prd ( 'Chi ch prd nt) v -> ChAttsRec prd xs -> ChAttsRec prd ( '( 'Chi ch prd nt,v) ': xs) pattern ConsCh h t = ConsRec h t

Attributions tagged by a child

pattern TaggedChAttr :: Label l -> WrapField (ChiReco prd) v -> TaggedChAttr prd l v Source #

Constructors

(.=) :: Label l -> WrapField (ChiReco prd) v -> TaggedChAttr prd l v infixr 4 Source #

Pretty constructor for tagging a child

(.*) :: forall (prd :: Prod) (ch :: Child) (attrib :: [(Att, Type)]) (attribs :: [(Child, [(Att, Type)])]). Require (OpExtend (ChiReco prd) ch attrib attribs) '['Text ""] => TaggedChAttr prd ch attrib -> ChAttsRec prd attribs -> ReqR (OpExtend (ChiReco prd) ch attrib attribs) infixr 2 Source #

Pretty constructors

emptyCh :: ChAttsRec prd '[] Source #

empty

Destructors

unTaggedChAttr :: TaggedChAttr prd l v -> WrapField (ChiReco prd) v Source #

labelChAttr :: TaggedChAttr prd l a -> Label l Source #

(.#) :: (c ~ 'Chi ch prd nt, ctx ~ '[((Text "looking up " :<>: ShowTE c) :$$: (Text "on " :<>: ShowTE r)) :$$: (Text "producion: " :<>: ShowTE prd)], Require (OpLookup (ChiReco prd) c r) ctx) => Rec (ChiReco prd) r -> Label c -> ReqR (OpLookup (ChiReco prd) c r) infixl 8 Source #

Productions

data PrdReco Source #

Instances

Instances details

type ShowRec PrdReco Source #
Instance details Defined in Language.Grammars.AspectAG.RecordInstances type ShowRec PrdReco = "Aspect"
type ShowField PrdReco Source #
Instance details Defined in Language.Grammars.AspectAG.RecordInstances type ShowField PrdReco = "production named "
type WrapField PrdReco (rule :: Type) Source #
Instance details Defined in Language.Grammars.AspectAG.RecordInstances type WrapField PrdReco (rule :: Type) = rule

type Aspect (asp :: [(Prod, Type)]) = Rec PrdReco asp Source #