Language.Grammars.Murder

type GramTrafo

type PreGramTrafo

type ExtGram env start nts

type GramExt env start nts start' nts'

data Export start nts env

addNT

addProds

updProds

replaceProds

mapNTProds

mapNTProd

closeGram

extendGram

(+>>)

exportNTs

data LSPair nt a t env

labelLSPair

(^=)

data NTCons nt v l env

data NTNil env

class NTRecord r

class Fail err

data Duplicated nt

class NotDuplicated nt r

ntNil

(^|)

class TypeEq x y b

data HTrue

data HFalse

typeEq

class GetNT nt r v

class GetNTLabel nt r v tenv

class GetNTBool b nt r v tenv

data NotFound nt tenv

getStart

exportList

export

extendExport