[silver:compiler:extension:deriving]

Contents of [silver:compiler:extension:deriving]:

Defined in this grammar:

terminal Derive_t

Contained in grammar [silver:compiler:extension:deriving]. Defined at silver/compiler/extension/deriving/Derive.sv line 3.

(Undocumented.)


concrete production deriveTCsOnNTListDcl_c   (top::AGDcl ::= 'derive' tcs::NameList 'on' nts::NameList ';' )

Contained in grammar [silver:compiler:extension:deriving]. Defined at silver/compiler/extension/deriving/Derive.sv line 7.

(Undocumented.)


abstract production deriveTCsOnNTListDcl   (top::AGDcl ::= tcs::NameList nts::NameList )

Contained in grammar [silver:compiler:extension:deriving]. Defined at silver/compiler/extension/deriving/Derive.sv line 15.

(Undocumented.)


abstract production deriveTCsOnOneNTDcl   (top::AGDcl ::= tcs::NameList nt::QName )

Contained in grammar [silver:compiler:extension:deriving]. Defined at silver/compiler/extension/deriving/Derive.sv line 30.

(Undocumented.)


abstract production deriveDcl   (top::AGDcl ::= tc::QName nt::QName )

Contained in grammar [silver:compiler:extension:deriving]. Defined at silver/compiler/extension/deriving/Derive.sv line 45.

(Undocumented.)


abstract production deriveEqDcl   (top::AGDcl ::= nt::Decorated! QName )

Contained in grammar [silver:compiler:extension:deriving]. Defined at silver/compiler/extension/deriving/Derive.sv line 74.

(Undocumented.)


abstract production deriveOrdDcl   (top::AGDcl ::= nt::Decorated! QName )

Contained in grammar [silver:compiler:extension:deriving]. Defined at silver/compiler/extension/deriving/Derive.sv line 188.

(Undocumented.)


fun foldPrimPatterns   (PrimPatterns ::= ps::[PrimPattern] )

Contained in grammar [silver:compiler:extension:deriving]. Defined at silver/compiler/extension/deriving/Derive.sv line 276.

(Undocumented.)