CSPM-Frontend 0.10.0.0 → 0.12.1.0
raw patch · 4 files changed
+28/−16 lines, 4 filesdep +parsecdep −ghc-primdep −parsec2dep ~dlistdep ~eitherdep ~mtlPVP ok
version bump matches the API change (PVP)
Dependencies added: parsec
Dependencies removed: ghc-prim, parsec2
Dependency ranges changed: dlist, either, mtl, syb, transformers
API changes (from Hackage documentation)
- Language.CSPM.AST: bindType :: UniqueIdent -> BindType
- Language.CSPM.AST: bindingLoc :: UniqueIdent -> SrcLoc
- Language.CSPM.AST: bindingSide :: UniqueIdent -> NodeId
- Language.CSPM.AST: idType :: UniqueIdent -> IDType
- Language.CSPM.AST: idents :: Pattern -> Array Int (Maybe LIdent)
- Language.CSPM.AST: instance Constructor C1_0AssertDecl
- Language.CSPM.AST: instance Constructor C1_0BindType
- Language.CSPM.AST: instance Constructor C1_0BuiltIn
- Language.CSPM.AST: instance Constructor C1_0CommField
- Language.CSPM.AST: instance Constructor C1_0Comment
- Language.CSPM.AST: instance Constructor C1_0CompGen
- Language.CSPM.AST: instance Constructor C1_0Const
- Language.CSPM.AST: instance Constructor C1_0Constructor
- Language.CSPM.AST: instance Constructor C1_0Decl
- Language.CSPM.AST: instance Constructor C1_0Exp
- Language.CSPM.AST: instance Constructor C1_0FDRModels
- Language.CSPM.AST: instance Constructor C1_0FdrExt
- Language.CSPM.AST: instance Constructor C1_0FunCase
- Language.CSPM.AST: instance Constructor C1_0IDType
- Language.CSPM.AST: instance Constructor C1_0Ident
- Language.CSPM.AST: instance Constructor C1_0Labeled
- Language.CSPM.AST: instance Constructor C1_0Link
- Language.CSPM.AST: instance Constructor C1_0LinkList
- Language.CSPM.AST: instance Constructor C1_0Module
- Language.CSPM.AST: instance Constructor C1_0NodeId
- Language.CSPM.AST: instance Constructor C1_0Pattern
- Language.CSPM.AST: instance Constructor C1_0PrologMode
- Language.CSPM.AST: instance Constructor C1_0Range
- Language.CSPM.AST: instance Constructor C1_0RefineOp
- Language.CSPM.AST: instance Constructor C1_0Rename
- Language.CSPM.AST: instance Constructor C1_0Selector
- Language.CSPM.AST: instance Constructor C1_0TauRefineOp
- Language.CSPM.AST: instance Constructor C1_0TypeDef
- Language.CSPM.AST: instance Constructor C1_0UniqueIdent
- Language.CSPM.AST: instance Constructor C1_10Const
- Language.CSPM.AST: instance Constructor C1_10Exp
- Language.CSPM.AST: instance Constructor C1_10Pattern
- Language.CSPM.AST: instance Constructor C1_10Selector
- Language.CSPM.AST: instance Constructor C1_11Const
- Language.CSPM.AST: instance Constructor C1_11Exp
- Language.CSPM.AST: instance Constructor C1_11Pattern
- Language.CSPM.AST: instance Constructor C1_11Selector
- Language.CSPM.AST: instance Constructor C1_12Const
- Language.CSPM.AST: instance Constructor C1_12Exp
- Language.CSPM.AST: instance Constructor C1_12Pattern
- Language.CSPM.AST: instance Constructor C1_12Selector
- Language.CSPM.AST: instance Constructor C1_13Const
- Language.CSPM.AST: instance Constructor C1_13Exp
- Language.CSPM.AST: instance Constructor C1_13Pattern
- Language.CSPM.AST: instance Constructor C1_13Selector
- Language.CSPM.AST: instance Constructor C1_14Const
- Language.CSPM.AST: instance Constructor C1_14Exp
- Language.CSPM.AST: instance Constructor C1_14Pattern
- Language.CSPM.AST: instance Constructor C1_14Selector
- Language.CSPM.AST: instance Constructor C1_15Const
- Language.CSPM.AST: instance Constructor C1_15Exp
- Language.CSPM.AST: instance Constructor C1_15Selector
- Language.CSPM.AST: instance Constructor C1_16Const
- Language.CSPM.AST: instance Constructor C1_16Exp
- Language.CSPM.AST: instance Constructor C1_16Selector
- Language.CSPM.AST: instance Constructor C1_17Const
- Language.CSPM.AST: instance Constructor C1_17Exp
- Language.CSPM.AST: instance Constructor C1_17Selector
- Language.CSPM.AST: instance Constructor C1_18Const
- Language.CSPM.AST: instance Constructor C1_18Exp
- Language.CSPM.AST: instance Constructor C1_19Const
- Language.CSPM.AST: instance Constructor C1_19Exp
- Language.CSPM.AST: instance Constructor C1_1AssertDecl
- Language.CSPM.AST: instance Constructor C1_1BindType
- Language.CSPM.AST: instance Constructor C1_1CommField
- Language.CSPM.AST: instance Constructor C1_1Comment
- Language.CSPM.AST: instance Constructor C1_1CompGen
- Language.CSPM.AST: instance Constructor C1_1Const
- Language.CSPM.AST: instance Constructor C1_1Decl
- Language.CSPM.AST: instance Constructor C1_1Exp
- Language.CSPM.AST: instance Constructor C1_1FDRModels
- Language.CSPM.AST: instance Constructor C1_1FdrExt
- Language.CSPM.AST: instance Constructor C1_1FunCase
- Language.CSPM.AST: instance Constructor C1_1IDType
- Language.CSPM.AST: instance Constructor C1_1Ident
- Language.CSPM.AST: instance Constructor C1_1LinkList
- Language.CSPM.AST: instance Constructor C1_1Pattern
- Language.CSPM.AST: instance Constructor C1_1PrologMode
- Language.CSPM.AST: instance Constructor C1_1Range
- Language.CSPM.AST: instance Constructor C1_1RefineOp
- Language.CSPM.AST: instance Constructor C1_1Selector
- Language.CSPM.AST: instance Constructor C1_1TauRefineOp
- Language.CSPM.AST: instance Constructor C1_1TypeDef
- Language.CSPM.AST: instance Constructor C1_20Const
- Language.CSPM.AST: instance Constructor C1_20Exp
- Language.CSPM.AST: instance Constructor C1_21Const
- Language.CSPM.AST: instance Constructor C1_21Exp
- Language.CSPM.AST: instance Constructor C1_22Const
- Language.CSPM.AST: instance Constructor C1_22Exp
- Language.CSPM.AST: instance Constructor C1_23Const
- Language.CSPM.AST: instance Constructor C1_23Exp
- Language.CSPM.AST: instance Constructor C1_24Const
- Language.CSPM.AST: instance Constructor C1_24Exp
- Language.CSPM.AST: instance Constructor C1_25Const
- Language.CSPM.AST: instance Constructor C1_25Exp
- Language.CSPM.AST: instance Constructor C1_26Const
- Language.CSPM.AST: instance Constructor C1_26Exp
- Language.CSPM.AST: instance Constructor C1_27Const
- Language.CSPM.AST: instance Constructor C1_27Exp
- Language.CSPM.AST: instance Constructor C1_28Const
- Language.CSPM.AST: instance Constructor C1_28Exp
- Language.CSPM.AST: instance Constructor C1_29Const
- Language.CSPM.AST: instance Constructor C1_29Exp
- Language.CSPM.AST: instance Constructor C1_2AssertDecl
- Language.CSPM.AST: instance Constructor C1_2CommField
- Language.CSPM.AST: instance Constructor C1_2Comment
- Language.CSPM.AST: instance Constructor C1_2Const
- Language.CSPM.AST: instance Constructor C1_2Decl
- Language.CSPM.AST: instance Constructor C1_2Exp
- Language.CSPM.AST: instance Constructor C1_2FDRModels
- Language.CSPM.AST: instance Constructor C1_2FdrExt
- Language.CSPM.AST: instance Constructor C1_2IDType
- Language.CSPM.AST: instance Constructor C1_2Pattern
- Language.CSPM.AST: instance Constructor C1_2Range
- Language.CSPM.AST: instance Constructor C1_2RefineOp
- Language.CSPM.AST: instance Constructor C1_2Selector
- Language.CSPM.AST: instance Constructor C1_30Const
- Language.CSPM.AST: instance Constructor C1_30Exp
- Language.CSPM.AST: instance Constructor C1_31Const
- Language.CSPM.AST: instance Constructor C1_31Exp
- Language.CSPM.AST: instance Constructor C1_32Const
- Language.CSPM.AST: instance Constructor C1_32Exp
- Language.CSPM.AST: instance Constructor C1_33Const
- Language.CSPM.AST: instance Constructor C1_33Exp
- Language.CSPM.AST: instance Constructor C1_34Const
- Language.CSPM.AST: instance Constructor C1_34Exp
- Language.CSPM.AST: instance Constructor C1_35Const
- Language.CSPM.AST: instance Constructor C1_35Exp
- Language.CSPM.AST: instance Constructor C1_36Const
- Language.CSPM.AST: instance Constructor C1_36Exp
- Language.CSPM.AST: instance Constructor C1_37Const
- Language.CSPM.AST: instance Constructor C1_37Exp
- Language.CSPM.AST: instance Constructor C1_38Const
- Language.CSPM.AST: instance Constructor C1_38Exp
- Language.CSPM.AST: instance Constructor C1_39Const
- Language.CSPM.AST: instance Constructor C1_39Exp
- Language.CSPM.AST: instance Constructor C1_3AssertDecl
- Language.CSPM.AST: instance Constructor C1_3Const
- Language.CSPM.AST: instance Constructor C1_3Decl
- Language.CSPM.AST: instance Constructor C1_3Exp
- Language.CSPM.AST: instance Constructor C1_3IDType
- Language.CSPM.AST: instance Constructor C1_3Pattern
- Language.CSPM.AST: instance Constructor C1_3RefineOp
- Language.CSPM.AST: instance Constructor C1_3Selector
- Language.CSPM.AST: instance Constructor C1_40Const
- Language.CSPM.AST: instance Constructor C1_40Exp
- Language.CSPM.AST: instance Constructor C1_41Const
- Language.CSPM.AST: instance Constructor C1_41Exp
- Language.CSPM.AST: instance Constructor C1_42Const
- Language.CSPM.AST: instance Constructor C1_42Exp
- Language.CSPM.AST: instance Constructor C1_43Const
- Language.CSPM.AST: instance Constructor C1_43Exp
- Language.CSPM.AST: instance Constructor C1_44Const
- Language.CSPM.AST: instance Constructor C1_45Const
- Language.CSPM.AST: instance Constructor C1_46Const
- Language.CSPM.AST: instance Constructor C1_47Const
- Language.CSPM.AST: instance Constructor C1_48Const
- Language.CSPM.AST: instance Constructor C1_4Const
- Language.CSPM.AST: instance Constructor C1_4Decl
- Language.CSPM.AST: instance Constructor C1_4Exp
- Language.CSPM.AST: instance Constructor C1_4IDType
- Language.CSPM.AST: instance Constructor C1_4Pattern
- Language.CSPM.AST: instance Constructor C1_4RefineOp
- Language.CSPM.AST: instance Constructor C1_4Selector
- Language.CSPM.AST: instance Constructor C1_5Const
- Language.CSPM.AST: instance Constructor C1_5Decl
- Language.CSPM.AST: instance Constructor C1_5Exp
- Language.CSPM.AST: instance Constructor C1_5IDType
- Language.CSPM.AST: instance Constructor C1_5Pattern
- Language.CSPM.AST: instance Constructor C1_5RefineOp
- Language.CSPM.AST: instance Constructor C1_5Selector
- Language.CSPM.AST: instance Constructor C1_6Const
- Language.CSPM.AST: instance Constructor C1_6Decl
- Language.CSPM.AST: instance Constructor C1_6Exp
- Language.CSPM.AST: instance Constructor C1_6IDType
- Language.CSPM.AST: instance Constructor C1_6Pattern
- Language.CSPM.AST: instance Constructor C1_6RefineOp
- Language.CSPM.AST: instance Constructor C1_6Selector
- Language.CSPM.AST: instance Constructor C1_7Const
- Language.CSPM.AST: instance Constructor C1_7Decl
- Language.CSPM.AST: instance Constructor C1_7Exp
- Language.CSPM.AST: instance Constructor C1_7IDType
- Language.CSPM.AST: instance Constructor C1_7Pattern
- Language.CSPM.AST: instance Constructor C1_7RefineOp
- Language.CSPM.AST: instance Constructor C1_7Selector
- Language.CSPM.AST: instance Constructor C1_8Const
- Language.CSPM.AST: instance Constructor C1_8Decl
- Language.CSPM.AST: instance Constructor C1_8Exp
- Language.CSPM.AST: instance Constructor C1_8Pattern
- Language.CSPM.AST: instance Constructor C1_8Selector
- Language.CSPM.AST: instance Constructor C1_9Const
- Language.CSPM.AST: instance Constructor C1_9Exp
- Language.CSPM.AST: instance Constructor C1_9Pattern
- Language.CSPM.AST: instance Constructor C1_9Selector
- Language.CSPM.AST: instance Data AssertDecl
- Language.CSPM.AST: instance Data BindType
- Language.CSPM.AST: instance Data BuiltIn
- Language.CSPM.AST: instance Data CommField
- Language.CSPM.AST: instance Data Comment
- Language.CSPM.AST: instance Data CompGen
- Language.CSPM.AST: instance Data Const
- Language.CSPM.AST: instance Data Constructor
- Language.CSPM.AST: instance Data Decl
- Language.CSPM.AST: instance Data Exp
- Language.CSPM.AST: instance Data FDRModels
- Language.CSPM.AST: instance Data FdrExt
- Language.CSPM.AST: instance Data FromParser
- Language.CSPM.AST: instance Data FunCase
- Language.CSPM.AST: instance Data IDType
- Language.CSPM.AST: instance Data Ident
- Language.CSPM.AST: instance Data Link
- Language.CSPM.AST: instance Data LinkList
- Language.CSPM.AST: instance Data NodeId
- Language.CSPM.AST: instance Data Pattern
- Language.CSPM.AST: instance Data PrologMode
- Language.CSPM.AST: instance Data Range
- Language.CSPM.AST: instance Data RefineOp
- Language.CSPM.AST: instance Data Rename
- Language.CSPM.AST: instance Data Selector
- Language.CSPM.AST: instance Data TauRefineOp
- Language.CSPM.AST: instance Data TypeDef
- Language.CSPM.AST: instance Data UniqueIdent
- Language.CSPM.AST: instance Data a => Data (Module a)
- Language.CSPM.AST: instance Data t => Data (Labeled t)
- Language.CSPM.AST: instance Datatype D1AssertDecl
- Language.CSPM.AST: instance Datatype D1BindType
- Language.CSPM.AST: instance Datatype D1BuiltIn
- Language.CSPM.AST: instance Datatype D1CommField
- Language.CSPM.AST: instance Datatype D1Comment
- Language.CSPM.AST: instance Datatype D1CompGen
- Language.CSPM.AST: instance Datatype D1Const
- Language.CSPM.AST: instance Datatype D1Constructor
- Language.CSPM.AST: instance Datatype D1Decl
- Language.CSPM.AST: instance Datatype D1Exp
- Language.CSPM.AST: instance Datatype D1FDRModels
- Language.CSPM.AST: instance Datatype D1FdrExt
- Language.CSPM.AST: instance Datatype D1FromParser
- Language.CSPM.AST: instance Datatype D1FunCase
- Language.CSPM.AST: instance Datatype D1IDType
- Language.CSPM.AST: instance Datatype D1Ident
- Language.CSPM.AST: instance Datatype D1Labeled
- Language.CSPM.AST: instance Datatype D1Link
- Language.CSPM.AST: instance Datatype D1LinkList
- Language.CSPM.AST: instance Datatype D1Module
- Language.CSPM.AST: instance Datatype D1NodeId
- Language.CSPM.AST: instance Datatype D1Pattern
- Language.CSPM.AST: instance Datatype D1PrologMode
- Language.CSPM.AST: instance Datatype D1Range
- Language.CSPM.AST: instance Datatype D1RefineOp
- Language.CSPM.AST: instance Datatype D1Rename
- Language.CSPM.AST: instance Datatype D1Selector
- Language.CSPM.AST: instance Datatype D1TauRefineOp
- Language.CSPM.AST: instance Datatype D1TypeDef
- Language.CSPM.AST: instance Datatype D1UniqueIdent
- Language.CSPM.AST: instance Enum NodeId
- Language.CSPM.AST: instance Eq (Module a)
- Language.CSPM.AST: instance Eq AssertDecl
- Language.CSPM.AST: instance Eq BindType
- Language.CSPM.AST: instance Eq BuiltIn
- Language.CSPM.AST: instance Eq CommField
- Language.CSPM.AST: instance Eq Comment
- Language.CSPM.AST: instance Eq CompGen
- Language.CSPM.AST: instance Eq Const
- Language.CSPM.AST: instance Eq Constructor
- Language.CSPM.AST: instance Eq Decl
- Language.CSPM.AST: instance Eq Exp
- Language.CSPM.AST: instance Eq FDRModels
- Language.CSPM.AST: instance Eq FdrExt
- Language.CSPM.AST: instance Eq FromParser
- Language.CSPM.AST: instance Eq FunCase
- Language.CSPM.AST: instance Eq IDType
- Language.CSPM.AST: instance Eq Ident
- Language.CSPM.AST: instance Eq Link
- Language.CSPM.AST: instance Eq LinkList
- Language.CSPM.AST: instance Eq NodeId
- Language.CSPM.AST: instance Eq Pattern
- Language.CSPM.AST: instance Eq PrologMode
- Language.CSPM.AST: instance Eq Range
- Language.CSPM.AST: instance Eq RefineOp
- Language.CSPM.AST: instance Eq Rename
- Language.CSPM.AST: instance Eq Selector
- Language.CSPM.AST: instance Eq TauRefineOp
- Language.CSPM.AST: instance Eq TypeDef
- Language.CSPM.AST: instance Eq UniqueIdent
- Language.CSPM.AST: instance Eq t => Eq (Labeled t)
- Language.CSPM.AST: instance Generic (Labeled t)
- Language.CSPM.AST: instance Generic (Module a)
- Language.CSPM.AST: instance Generic AssertDecl
- Language.CSPM.AST: instance Generic BindType
- Language.CSPM.AST: instance Generic BuiltIn
- Language.CSPM.AST: instance Generic CommField
- Language.CSPM.AST: instance Generic Comment
- Language.CSPM.AST: instance Generic CompGen
- Language.CSPM.AST: instance Generic Const
- Language.CSPM.AST: instance Generic Constructor
- Language.CSPM.AST: instance Generic Decl
- Language.CSPM.AST: instance Generic Exp
- Language.CSPM.AST: instance Generic FDRModels
- Language.CSPM.AST: instance Generic FdrExt
- Language.CSPM.AST: instance Generic FromParser
- Language.CSPM.AST: instance Generic FunCase
- Language.CSPM.AST: instance Generic IDType
- Language.CSPM.AST: instance Generic Ident
- Language.CSPM.AST: instance Generic Link
- Language.CSPM.AST: instance Generic LinkList
- Language.CSPM.AST: instance Generic NodeId
- Language.CSPM.AST: instance Generic Pattern
- Language.CSPM.AST: instance Generic PrologMode
- Language.CSPM.AST: instance Generic Range
- Language.CSPM.AST: instance Generic RefineOp
- Language.CSPM.AST: instance Generic Rename
- Language.CSPM.AST: instance Generic Selector
- Language.CSPM.AST: instance Generic TauRefineOp
- Language.CSPM.AST: instance Generic TypeDef
- Language.CSPM.AST: instance Generic UniqueIdent
- Language.CSPM.AST: instance Ix NodeId
- Language.CSPM.AST: instance Ord (Module a)
- Language.CSPM.AST: instance Ord AssertDecl
- Language.CSPM.AST: instance Ord BindType
- Language.CSPM.AST: instance Ord BuiltIn
- Language.CSPM.AST: instance Ord CommField
- Language.CSPM.AST: instance Ord Comment
- Language.CSPM.AST: instance Ord CompGen
- Language.CSPM.AST: instance Ord Const
- Language.CSPM.AST: instance Ord Constructor
- Language.CSPM.AST: instance Ord Decl
- Language.CSPM.AST: instance Ord Exp
- Language.CSPM.AST: instance Ord FDRModels
- Language.CSPM.AST: instance Ord FdrExt
- Language.CSPM.AST: instance Ord FunCase
- Language.CSPM.AST: instance Ord IDType
- Language.CSPM.AST: instance Ord Ident
- Language.CSPM.AST: instance Ord Link
- Language.CSPM.AST: instance Ord LinkList
- Language.CSPM.AST: instance Ord NodeId
- Language.CSPM.AST: instance Ord Pattern
- Language.CSPM.AST: instance Ord PrologMode
- Language.CSPM.AST: instance Ord Range
- Language.CSPM.AST: instance Ord RefineOp
- Language.CSPM.AST: instance Ord Rename
- Language.CSPM.AST: instance Ord Selector
- Language.CSPM.AST: instance Ord TauRefineOp
- Language.CSPM.AST: instance Ord TypeDef
- Language.CSPM.AST: instance Ord UniqueIdent
- Language.CSPM.AST: instance Ord t => Ord (Labeled t)
- Language.CSPM.AST: instance Selector S1_0_0Ident
- Language.CSPM.AST: instance Selector S1_0_0Labeled
- Language.CSPM.AST: instance Selector S1_0_0Module
- Language.CSPM.AST: instance Selector S1_0_0NodeId
- Language.CSPM.AST: instance Selector S1_0_0UniqueIdent
- Language.CSPM.AST: instance Selector S1_0_1Labeled
- Language.CSPM.AST: instance Selector S1_0_1Module
- Language.CSPM.AST: instance Selector S1_0_1UniqueIdent
- Language.CSPM.AST: instance Selector S1_0_2Labeled
- Language.CSPM.AST: instance Selector S1_0_2Module
- Language.CSPM.AST: instance Selector S1_0_2UniqueIdent
- Language.CSPM.AST: instance Selector S1_0_3Module
- Language.CSPM.AST: instance Selector S1_0_3UniqueIdent
- Language.CSPM.AST: instance Selector S1_0_4Module
- Language.CSPM.AST: instance Selector S1_0_4UniqueIdent
- Language.CSPM.AST: instance Selector S1_0_5UniqueIdent
- Language.CSPM.AST: instance Selector S1_0_6UniqueIdent
- Language.CSPM.AST: instance Selector S1_0_7UniqueIdent
- Language.CSPM.AST: instance Selector S1_13_0Pattern
- Language.CSPM.AST: instance Selector S1_13_1Pattern
- Language.CSPM.AST: instance Show (Module a)
- Language.CSPM.AST: instance Show AssertDecl
- Language.CSPM.AST: instance Show BindType
- Language.CSPM.AST: instance Show BuiltIn
- Language.CSPM.AST: instance Show CommField
- Language.CSPM.AST: instance Show Comment
- Language.CSPM.AST: instance Show CompGen
- Language.CSPM.AST: instance Show Const
- Language.CSPM.AST: instance Show Constructor
- Language.CSPM.AST: instance Show Decl
- Language.CSPM.AST: instance Show Exp
- Language.CSPM.AST: instance Show FDRModels
- Language.CSPM.AST: instance Show FdrExt
- Language.CSPM.AST: instance Show FunCase
- Language.CSPM.AST: instance Show IDType
- Language.CSPM.AST: instance Show Ident
- Language.CSPM.AST: instance Show Link
- Language.CSPM.AST: instance Show LinkList
- Language.CSPM.AST: instance Show NodeId
- Language.CSPM.AST: instance Show Pattern
- Language.CSPM.AST: instance Show PrologMode
- Language.CSPM.AST: instance Show Range
- Language.CSPM.AST: instance Show RefineOp
- Language.CSPM.AST: instance Show Rename
- Language.CSPM.AST: instance Show Selector
- Language.CSPM.AST: instance Show TauRefineOp
- Language.CSPM.AST: instance Show TypeDef
- Language.CSPM.AST: instance Show UniqueIdent
- Language.CSPM.AST: instance Show t => Show (Labeled t)
- Language.CSPM.AST: instance Typeable AssertDecl
- Language.CSPM.AST: instance Typeable BindType
- Language.CSPM.AST: instance Typeable BuiltIn
- Language.CSPM.AST: instance Typeable CommField
- Language.CSPM.AST: instance Typeable Comment
- Language.CSPM.AST: instance Typeable CompGen
- Language.CSPM.AST: instance Typeable Const
- Language.CSPM.AST: instance Typeable Constructor
- Language.CSPM.AST: instance Typeable Decl
- Language.CSPM.AST: instance Typeable Exp
- Language.CSPM.AST: instance Typeable FDRModels
- Language.CSPM.AST: instance Typeable FdrExt
- Language.CSPM.AST: instance Typeable FromParser
- Language.CSPM.AST: instance Typeable FunCase
- Language.CSPM.AST: instance Typeable IDType
- Language.CSPM.AST: instance Typeable Ident
- Language.CSPM.AST: instance Typeable Labeled
- Language.CSPM.AST: instance Typeable Link
- Language.CSPM.AST: instance Typeable LinkList
- Language.CSPM.AST: instance Typeable Module
- Language.CSPM.AST: instance Typeable NodeId
- Language.CSPM.AST: instance Typeable Pattern
- Language.CSPM.AST: instance Typeable PrologMode
- Language.CSPM.AST: instance Typeable Range
- Language.CSPM.AST: instance Typeable RefineOp
- Language.CSPM.AST: instance Typeable Rename
- Language.CSPM.AST: instance Typeable Selector
- Language.CSPM.AST: instance Typeable TauRefineOp
- Language.CSPM.AST: instance Typeable TypeDef
- Language.CSPM.AST: instance Typeable UniqueIdent
- Language.CSPM.AST: moduleComments :: Module a -> [LocComment]
- Language.CSPM.AST: moduleDecls :: Module a -> [LDecl]
- Language.CSPM.AST: modulePragmas :: Module a -> [Pragma]
- Language.CSPM.AST: moduleSrcLoc :: Module a -> SrcLoc
- Language.CSPM.AST: moduleTokens :: Module a -> Maybe [Token]
- Language.CSPM.AST: newName :: UniqueIdent -> String
- Language.CSPM.AST: nodeId :: Labeled t -> NodeId
- Language.CSPM.AST: prologMode :: UniqueIdent -> PrologMode
- Language.CSPM.AST: realName :: UniqueIdent -> String
- Language.CSPM.AST: selectors :: Pattern -> Array Int Selector
- Language.CSPM.AST: srcLoc :: Labeled t -> SrcLoc
- Language.CSPM.AST: unIdent :: Ident -> String
- Language.CSPM.AST: unLabel :: Labeled t -> t
- Language.CSPM.AST: unNodeId :: NodeId -> Int
- Language.CSPM.AST: uniqueIdentId :: UniqueIdent -> Int
- Language.CSPM.Frontend: bindType :: RenameInfo -> BindType
- Language.CSPM.Frontend: fixedEndCol :: SrcLoc -> !Int
- Language.CSPM.Frontend: fixedEndLine :: SrcLoc -> !Int
- Language.CSPM.Frontend: fixedEndOffset :: SrcLoc -> !Int
- Language.CSPM.Frontend: fixedLen :: SrcLoc -> !Int
- Language.CSPM.Frontend: fixedStartCol :: SrcLoc -> !Int
- Language.CSPM.Frontend: fixedStartLine :: SrcLoc -> !Int
- Language.CSPM.Frontend: fixedStartOffset :: SrcLoc -> !Int
- Language.CSPM.Frontend: identDefinition :: RenameInfo -> AstAnnotation UniqueIdent
- Language.CSPM.Frontend: identUse :: RenameInfo -> AstAnnotation UniqueIdent
- Language.CSPM.Frontend: lexEMsg :: LexError -> !String
- Language.CSPM.Frontend: lexEPos :: LexError -> !AlexPosn
- Language.CSPM.Frontend: localBindings :: RenameInfo -> Map String UniqueIdent
- Language.CSPM.Frontend: nameSupply :: RenameInfo -> Int
- Language.CSPM.Frontend: nodeId :: Labeled t -> NodeId
- Language.CSPM.Frontend: parseErrorMsg :: ParseError -> String
- Language.CSPM.Frontend: parseErrorPos :: ParseError -> AlexPosn
- Language.CSPM.Frontend: parseErrorToken :: ParseError -> Token
- Language.CSPM.Frontend: prologMode :: RenameInfo -> PrologMode
- Language.CSPM.Frontend: renameErrorLoc :: RenameError -> SrcLoc
- Language.CSPM.Frontend: renameErrorMsg :: RenameError -> String
- Language.CSPM.Frontend: srcLoc :: Labeled t -> SrcLoc
- Language.CSPM.Frontend: unLabel :: Labeled t -> t
- Language.CSPM.Frontend: usedNames :: RenameInfo -> Set String
- Language.CSPM.Frontend: visible :: RenameInfo -> Map String UniqueIdent
- Language.CSPM.LexHelper: instance Show FilePart
- Language.CSPM.Parser: instance Exception ParseError
- Language.CSPM.Parser: instance Show PState
- Language.CSPM.Parser: instance Show ParseError
- Language.CSPM.Parser: instance Typeable ParseError
- Language.CSPM.Parser: parseErrorMsg :: ParseError -> String
- Language.CSPM.Parser: parseErrorPos :: ParseError -> AlexPosn
- Language.CSPM.Parser: parseErrorToken :: ParseError -> Token
- Language.CSPM.PrettyPrinter: instance Pretty (Module a)
- Language.CSPM.PrettyPrinter: instance Pretty AssertDecl
- Language.CSPM.PrettyPrinter: instance Pretty BuiltIn
- Language.CSPM.PrettyPrinter: instance Pretty CommField
- Language.CSPM.PrettyPrinter: instance Pretty Const
- Language.CSPM.PrettyPrinter: instance Pretty Decl
- Language.CSPM.PrettyPrinter: instance Pretty Exp
- Language.CSPM.PrettyPrinter: instance Pretty FDRModels
- Language.CSPM.PrettyPrinter: instance Pretty FdrExt
- Language.CSPM.PrettyPrinter: instance Pretty Link
- Language.CSPM.PrettyPrinter: instance Pretty LinkList
- Language.CSPM.PrettyPrinter: instance Pretty Pattern
- Language.CSPM.PrettyPrinter: instance Pretty Range
- Language.CSPM.PrettyPrinter: instance Pretty RefineOp
- Language.CSPM.PrettyPrinter: instance Pretty Rename
- Language.CSPM.PrettyPrinter: instance Pretty TauRefineOp
- Language.CSPM.PrettyPrinter: instance Pretty x => Pretty (Labeled x)
- Language.CSPM.Rename: bindType :: RenameInfo -> BindType
- Language.CSPM.Rename: identDefinition :: RenameInfo -> AstAnnotation UniqueIdent
- Language.CSPM.Rename: identUse :: RenameInfo -> AstAnnotation UniqueIdent
- Language.CSPM.Rename: instance Data FromRenaming
- Language.CSPM.Rename: instance Error RenameError
- Language.CSPM.Rename: instance Exception RenameError
- Language.CSPM.Rename: instance Show RenameError
- Language.CSPM.Rename: instance Show RenameInfo
- Language.CSPM.Rename: instance Typeable FromRenaming
- Language.CSPM.Rename: instance Typeable RenameError
- Language.CSPM.Rename: localBindings :: RenameInfo -> Map String UniqueIdent
- Language.CSPM.Rename: nameSupply :: RenameInfo -> Int
- Language.CSPM.Rename: prologMode :: RenameInfo -> PrologMode
- Language.CSPM.Rename: renameErrorLoc :: RenameError -> SrcLoc
- Language.CSPM.Rename: renameErrorMsg :: RenameError -> String
- Language.CSPM.Rename: usedNames :: RenameInfo -> Set String
- Language.CSPM.Rename: visible :: RenameInfo -> Map String UniqueIdent
- Language.CSPM.SrcLoc: fixedEndCol :: SrcLoc -> !Int
- Language.CSPM.SrcLoc: fixedEndLine :: SrcLoc -> !Int
- Language.CSPM.SrcLoc: fixedEndOffset :: SrcLoc -> !Int
- Language.CSPM.SrcLoc: fixedLen :: SrcLoc -> !Int
- Language.CSPM.SrcLoc: fixedStartCol :: SrcLoc -> !Int
- Language.CSPM.SrcLoc: fixedStartLine :: SrcLoc -> !Int
- Language.CSPM.SrcLoc: fixedStartOffset :: SrcLoc -> !Int
- Language.CSPM.SrcLoc: instance Constructor C1_0SrcLoc
- Language.CSPM.SrcLoc: instance Constructor C1_1SrcLoc
- Language.CSPM.SrcLoc: instance Constructor C1_2SrcLoc
- Language.CSPM.SrcLoc: instance Constructor C1_3SrcLoc
- Language.CSPM.SrcLoc: instance Constructor C1_4SrcLoc
- Language.CSPM.SrcLoc: instance Constructor C1_5SrcLoc
- Language.CSPM.SrcLoc: instance Data SrcLoc
- Language.CSPM.SrcLoc: instance Datatype D1SrcLoc
- Language.CSPM.SrcLoc: instance Eq SrcLoc
- Language.CSPM.SrcLoc: instance Generic SrcLoc
- Language.CSPM.SrcLoc: instance Ord SrcLoc
- Language.CSPM.SrcLoc: instance Selector S1_5_0SrcLoc
- Language.CSPM.SrcLoc: instance Selector S1_5_1SrcLoc
- Language.CSPM.SrcLoc: instance Selector S1_5_2SrcLoc
- Language.CSPM.SrcLoc: instance Selector S1_5_3SrcLoc
- Language.CSPM.SrcLoc: instance Selector S1_5_4SrcLoc
- Language.CSPM.SrcLoc: instance Selector S1_5_5SrcLoc
- Language.CSPM.SrcLoc: instance Selector S1_5_6SrcLoc
- Language.CSPM.SrcLoc: instance Show SrcLoc
- Language.CSPM.SrcLoc: instance Typeable SrcLoc
- Language.CSPM.Token: alexCol :: AlexPosn -> !Int
- Language.CSPM.Token: alexLine :: AlexPosn -> !Int
- Language.CSPM.Token: alexPos :: AlexPosn -> !Int
- Language.CSPM.Token: instance Constructor C1_0AlexPosn
- Language.CSPM.Token: instance Constructor C1_0Token
- Language.CSPM.Token: instance Constructor C1_0TokenId
- Language.CSPM.Token: instance Data AlexPosn
- Language.CSPM.Token: instance Data Token
- Language.CSPM.Token: instance Data TokenId
- Language.CSPM.Token: instance Datatype D1AlexPosn
- Language.CSPM.Token: instance Datatype D1Token
- Language.CSPM.Token: instance Datatype D1TokenId
- Language.CSPM.Token: instance Enum TokenId
- Language.CSPM.Token: instance Eq AlexPosn
- Language.CSPM.Token: instance Eq Token
- Language.CSPM.Token: instance Eq TokenId
- Language.CSPM.Token: instance Exception LexError
- Language.CSPM.Token: instance Generic AlexPosn
- Language.CSPM.Token: instance Generic Token
- Language.CSPM.Token: instance Generic TokenId
- Language.CSPM.Token: instance Ix TokenId
- Language.CSPM.Token: instance Ord AlexPosn
- Language.CSPM.Token: instance Ord Token
- Language.CSPM.Token: instance Ord TokenId
- Language.CSPM.Token: instance Selector S1_0_0AlexPosn
- Language.CSPM.Token: instance Selector S1_0_0Token
- Language.CSPM.Token: instance Selector S1_0_0TokenId
- Language.CSPM.Token: instance Selector S1_0_1AlexPosn
- Language.CSPM.Token: instance Selector S1_0_1Token
- Language.CSPM.Token: instance Selector S1_0_2AlexPosn
- Language.CSPM.Token: instance Selector S1_0_2Token
- Language.CSPM.Token: instance Selector S1_0_3Token
- Language.CSPM.Token: instance Selector S1_0_4Token
- Language.CSPM.Token: instance Show AlexPosn
- Language.CSPM.Token: instance Show LexError
- Language.CSPM.Token: instance Show Token
- Language.CSPM.Token: instance Show TokenId
- Language.CSPM.Token: instance Typeable AlexPosn
- Language.CSPM.Token: instance Typeable LexError
- Language.CSPM.Token: instance Typeable Token
- Language.CSPM.Token: instance Typeable TokenId
- Language.CSPM.Token: lexEMsg :: LexError -> !String
- Language.CSPM.Token: lexEPos :: LexError -> !AlexPosn
- Language.CSPM.Token: tokenClass :: Token -> PrimToken
- Language.CSPM.Token: tokenId :: Token -> TokenId
- Language.CSPM.Token: tokenLen :: Token -> Int
- Language.CSPM.Token: tokenStart :: Token -> AlexPosn
- Language.CSPM.Token: tokenString :: Token -> String
- Language.CSPM.Token: unTokenId :: TokenId -> Int
- Language.CSPM.TokenClasses: instance Bounded PrimToken
- Language.CSPM.TokenClasses: instance Constructor C1_0PrimToken
- Language.CSPM.TokenClasses: instance Constructor C1_100PrimToken
- Language.CSPM.TokenClasses: instance Constructor C1_101PrimToken
- Language.CSPM.TokenClasses: instance Constructor C1_102PrimToken
- Language.CSPM.TokenClasses: instance Constructor C1_103PrimToken
- Language.CSPM.TokenClasses: instance Constructor C1_104PrimToken
- Language.CSPM.TokenClasses: instance Constructor C1_105PrimToken
- Language.CSPM.TokenClasses: instance Constructor C1_106PrimToken
- Language.CSPM.TokenClasses: instance Constructor C1_107PrimToken
- Language.CSPM.TokenClasses: instance Constructor C1_108PrimToken
- Language.CSPM.TokenClasses: instance Constructor C1_109PrimToken
- Language.CSPM.TokenClasses: instance Constructor C1_10PrimToken
- Language.CSPM.TokenClasses: instance Constructor C1_110PrimToken
- Language.CSPM.TokenClasses: instance Constructor C1_111PrimToken
- Language.CSPM.TokenClasses: instance Constructor C1_112PrimToken
- Language.CSPM.TokenClasses: instance Constructor C1_113PrimToken
- Language.CSPM.TokenClasses: instance Constructor C1_114PrimToken
- Language.CSPM.TokenClasses: instance Constructor C1_115PrimToken
- Language.CSPM.TokenClasses: instance Constructor C1_116PrimToken
- Language.CSPM.TokenClasses: instance Constructor C1_117PrimToken
- Language.CSPM.TokenClasses: instance Constructor C1_118PrimToken
- Language.CSPM.TokenClasses: instance Constructor C1_119PrimToken
- Language.CSPM.TokenClasses: instance Constructor C1_11PrimToken
- Language.CSPM.TokenClasses: instance Constructor C1_120PrimToken
- Language.CSPM.TokenClasses: instance Constructor C1_121PrimToken
- Language.CSPM.TokenClasses: instance Constructor C1_122PrimToken
- Language.CSPM.TokenClasses: instance Constructor C1_12PrimToken
- Language.CSPM.TokenClasses: instance Constructor C1_13PrimToken
- Language.CSPM.TokenClasses: instance Constructor C1_14PrimToken
- Language.CSPM.TokenClasses: instance Constructor C1_15PrimToken
- Language.CSPM.TokenClasses: instance Constructor C1_16PrimToken
- Language.CSPM.TokenClasses: instance Constructor C1_17PrimToken
- Language.CSPM.TokenClasses: instance Constructor C1_18PrimToken
- Language.CSPM.TokenClasses: instance Constructor C1_19PrimToken
- Language.CSPM.TokenClasses: instance Constructor C1_1PrimToken
- Language.CSPM.TokenClasses: instance Constructor C1_20PrimToken
- Language.CSPM.TokenClasses: instance Constructor C1_21PrimToken
- Language.CSPM.TokenClasses: instance Constructor C1_22PrimToken
- Language.CSPM.TokenClasses: instance Constructor C1_23PrimToken
- Language.CSPM.TokenClasses: instance Constructor C1_24PrimToken
- Language.CSPM.TokenClasses: instance Constructor C1_25PrimToken
- Language.CSPM.TokenClasses: instance Constructor C1_26PrimToken
- Language.CSPM.TokenClasses: instance Constructor C1_27PrimToken
- Language.CSPM.TokenClasses: instance Constructor C1_28PrimToken
- Language.CSPM.TokenClasses: instance Constructor C1_29PrimToken
- Language.CSPM.TokenClasses: instance Constructor C1_2PrimToken
- Language.CSPM.TokenClasses: instance Constructor C1_30PrimToken
- Language.CSPM.TokenClasses: instance Constructor C1_31PrimToken
- Language.CSPM.TokenClasses: instance Constructor C1_32PrimToken
- Language.CSPM.TokenClasses: instance Constructor C1_33PrimToken
- Language.CSPM.TokenClasses: instance Constructor C1_34PrimToken
- Language.CSPM.TokenClasses: instance Constructor C1_35PrimToken
- Language.CSPM.TokenClasses: instance Constructor C1_36PrimToken
- Language.CSPM.TokenClasses: instance Constructor C1_37PrimToken
- Language.CSPM.TokenClasses: instance Constructor C1_38PrimToken
- Language.CSPM.TokenClasses: instance Constructor C1_39PrimToken
- Language.CSPM.TokenClasses: instance Constructor C1_3PrimToken
- Language.CSPM.TokenClasses: instance Constructor C1_40PrimToken
- Language.CSPM.TokenClasses: instance Constructor C1_41PrimToken
- Language.CSPM.TokenClasses: instance Constructor C1_42PrimToken
- Language.CSPM.TokenClasses: instance Constructor C1_43PrimToken
- Language.CSPM.TokenClasses: instance Constructor C1_44PrimToken
- Language.CSPM.TokenClasses: instance Constructor C1_45PrimToken
- Language.CSPM.TokenClasses: instance Constructor C1_46PrimToken
- Language.CSPM.TokenClasses: instance Constructor C1_47PrimToken
- Language.CSPM.TokenClasses: instance Constructor C1_48PrimToken
- Language.CSPM.TokenClasses: instance Constructor C1_49PrimToken
- Language.CSPM.TokenClasses: instance Constructor C1_4PrimToken
- Language.CSPM.TokenClasses: instance Constructor C1_50PrimToken
- Language.CSPM.TokenClasses: instance Constructor C1_51PrimToken
- Language.CSPM.TokenClasses: instance Constructor C1_52PrimToken
- Language.CSPM.TokenClasses: instance Constructor C1_53PrimToken
- Language.CSPM.TokenClasses: instance Constructor C1_54PrimToken
- Language.CSPM.TokenClasses: instance Constructor C1_55PrimToken
- Language.CSPM.TokenClasses: instance Constructor C1_56PrimToken
- Language.CSPM.TokenClasses: instance Constructor C1_57PrimToken
- Language.CSPM.TokenClasses: instance Constructor C1_58PrimToken
- Language.CSPM.TokenClasses: instance Constructor C1_59PrimToken
- Language.CSPM.TokenClasses: instance Constructor C1_5PrimToken
- Language.CSPM.TokenClasses: instance Constructor C1_60PrimToken
- Language.CSPM.TokenClasses: instance Constructor C1_61PrimToken
- Language.CSPM.TokenClasses: instance Constructor C1_62PrimToken
- Language.CSPM.TokenClasses: instance Constructor C1_63PrimToken
- Language.CSPM.TokenClasses: instance Constructor C1_64PrimToken
- Language.CSPM.TokenClasses: instance Constructor C1_65PrimToken
- Language.CSPM.TokenClasses: instance Constructor C1_66PrimToken
- Language.CSPM.TokenClasses: instance Constructor C1_67PrimToken
- Language.CSPM.TokenClasses: instance Constructor C1_68PrimToken
- Language.CSPM.TokenClasses: instance Constructor C1_69PrimToken
- Language.CSPM.TokenClasses: instance Constructor C1_6PrimToken
- Language.CSPM.TokenClasses: instance Constructor C1_70PrimToken
- Language.CSPM.TokenClasses: instance Constructor C1_71PrimToken
- Language.CSPM.TokenClasses: instance Constructor C1_72PrimToken
- Language.CSPM.TokenClasses: instance Constructor C1_73PrimToken
- Language.CSPM.TokenClasses: instance Constructor C1_74PrimToken
- Language.CSPM.TokenClasses: instance Constructor C1_75PrimToken
- Language.CSPM.TokenClasses: instance Constructor C1_76PrimToken
- Language.CSPM.TokenClasses: instance Constructor C1_77PrimToken
- Language.CSPM.TokenClasses: instance Constructor C1_78PrimToken
- Language.CSPM.TokenClasses: instance Constructor C1_79PrimToken
- Language.CSPM.TokenClasses: instance Constructor C1_7PrimToken
- Language.CSPM.TokenClasses: instance Constructor C1_80PrimToken
- Language.CSPM.TokenClasses: instance Constructor C1_81PrimToken
- Language.CSPM.TokenClasses: instance Constructor C1_82PrimToken
- Language.CSPM.TokenClasses: instance Constructor C1_83PrimToken
- Language.CSPM.TokenClasses: instance Constructor C1_84PrimToken
- Language.CSPM.TokenClasses: instance Constructor C1_85PrimToken
- Language.CSPM.TokenClasses: instance Constructor C1_86PrimToken
- Language.CSPM.TokenClasses: instance Constructor C1_87PrimToken
- Language.CSPM.TokenClasses: instance Constructor C1_88PrimToken
- Language.CSPM.TokenClasses: instance Constructor C1_89PrimToken
- Language.CSPM.TokenClasses: instance Constructor C1_8PrimToken
- Language.CSPM.TokenClasses: instance Constructor C1_90PrimToken
- Language.CSPM.TokenClasses: instance Constructor C1_91PrimToken
- Language.CSPM.TokenClasses: instance Constructor C1_92PrimToken
- Language.CSPM.TokenClasses: instance Constructor C1_93PrimToken
- Language.CSPM.TokenClasses: instance Constructor C1_94PrimToken
- Language.CSPM.TokenClasses: instance Constructor C1_95PrimToken
- Language.CSPM.TokenClasses: instance Constructor C1_96PrimToken
- Language.CSPM.TokenClasses: instance Constructor C1_97PrimToken
- Language.CSPM.TokenClasses: instance Constructor C1_98PrimToken
- Language.CSPM.TokenClasses: instance Constructor C1_99PrimToken
- Language.CSPM.TokenClasses: instance Constructor C1_9PrimToken
- Language.CSPM.TokenClasses: instance Data PrimToken
- Language.CSPM.TokenClasses: instance Datatype D1PrimToken
- Language.CSPM.TokenClasses: instance Enum PrimToken
- Language.CSPM.TokenClasses: instance Eq PrimToken
- Language.CSPM.TokenClasses: instance Generic PrimToken
- Language.CSPM.TokenClasses: instance Ix PrimToken
- Language.CSPM.TokenClasses: instance Ord PrimToken
- Language.CSPM.TokenClasses: instance Show PrimToken
- Language.CSPM.TokenClasses: instance Typeable PrimToken
+ Language.CSPM.AST: [bindType] :: UniqueIdent -> BindType
+ Language.CSPM.AST: [bindingLoc] :: UniqueIdent -> SrcLoc
+ Language.CSPM.AST: [bindingSide] :: UniqueIdent -> NodeId
+ Language.CSPM.AST: [idType] :: UniqueIdent -> IDType
+ Language.CSPM.AST: [idents] :: Pattern -> Array Int (Maybe LIdent)
+ Language.CSPM.AST: [moduleComments] :: Module a -> [LocComment]
+ Language.CSPM.AST: [moduleDecls] :: Module a -> [LDecl]
+ Language.CSPM.AST: [modulePragmas] :: Module a -> [Pragma]
+ Language.CSPM.AST: [moduleSrcLoc] :: Module a -> SrcLoc
+ Language.CSPM.AST: [moduleTokens] :: Module a -> Maybe [Token]
+ Language.CSPM.AST: [newName] :: UniqueIdent -> String
+ Language.CSPM.AST: [nodeId] :: Labeled t -> NodeId
+ Language.CSPM.AST: [prologMode] :: UniqueIdent -> PrologMode
+ Language.CSPM.AST: [realName] :: UniqueIdent -> String
+ Language.CSPM.AST: [selectors] :: Pattern -> Array Int Selector
+ Language.CSPM.AST: [srcLoc] :: Labeled t -> SrcLoc
+ Language.CSPM.AST: [unIdent] :: Ident -> String
+ Language.CSPM.AST: [unLabel] :: Labeled t -> t
+ Language.CSPM.AST: [unNodeId] :: NodeId -> Int
+ Language.CSPM.AST: [uniqueIdentId] :: UniqueIdent -> Int
+ Language.CSPM.AST: instance Data.Data.Data Language.CSPM.AST.AssertDecl
+ Language.CSPM.AST: instance Data.Data.Data Language.CSPM.AST.BindType
+ Language.CSPM.AST: instance Data.Data.Data Language.CSPM.AST.BuiltIn
+ Language.CSPM.AST: instance Data.Data.Data Language.CSPM.AST.CommField
+ Language.CSPM.AST: instance Data.Data.Data Language.CSPM.AST.Comment
+ Language.CSPM.AST: instance Data.Data.Data Language.CSPM.AST.CompGen
+ Language.CSPM.AST: instance Data.Data.Data Language.CSPM.AST.Const
+ Language.CSPM.AST: instance Data.Data.Data Language.CSPM.AST.Constructor
+ Language.CSPM.AST: instance Data.Data.Data Language.CSPM.AST.Decl
+ Language.CSPM.AST: instance Data.Data.Data Language.CSPM.AST.Exp
+ Language.CSPM.AST: instance Data.Data.Data Language.CSPM.AST.FDRModels
+ Language.CSPM.AST: instance Data.Data.Data Language.CSPM.AST.FdrExt
+ Language.CSPM.AST: instance Data.Data.Data Language.CSPM.AST.FromParser
+ Language.CSPM.AST: instance Data.Data.Data Language.CSPM.AST.FunCase
+ Language.CSPM.AST: instance Data.Data.Data Language.CSPM.AST.IDType
+ Language.CSPM.AST: instance Data.Data.Data Language.CSPM.AST.Ident
+ Language.CSPM.AST: instance Data.Data.Data Language.CSPM.AST.Link
+ Language.CSPM.AST: instance Data.Data.Data Language.CSPM.AST.LinkList
+ Language.CSPM.AST: instance Data.Data.Data Language.CSPM.AST.NodeId
+ Language.CSPM.AST: instance Data.Data.Data Language.CSPM.AST.Pattern
+ Language.CSPM.AST: instance Data.Data.Data Language.CSPM.AST.PrologMode
+ Language.CSPM.AST: instance Data.Data.Data Language.CSPM.AST.Range
+ Language.CSPM.AST: instance Data.Data.Data Language.CSPM.AST.RefineOp
+ Language.CSPM.AST: instance Data.Data.Data Language.CSPM.AST.Rename
+ Language.CSPM.AST: instance Data.Data.Data Language.CSPM.AST.Selector
+ Language.CSPM.AST: instance Data.Data.Data Language.CSPM.AST.TauRefineOp
+ Language.CSPM.AST: instance Data.Data.Data Language.CSPM.AST.TypeDef
+ Language.CSPM.AST: instance Data.Data.Data Language.CSPM.AST.UniqueIdent
+ Language.CSPM.AST: instance Data.Data.Data a => Data.Data.Data (Language.CSPM.AST.Module a)
+ Language.CSPM.AST: instance Data.Data.Data t => Data.Data.Data (Language.CSPM.AST.Labeled t)
+ Language.CSPM.AST: instance GHC.Arr.Ix Language.CSPM.AST.NodeId
+ Language.CSPM.AST: instance GHC.Classes.Eq (Language.CSPM.AST.Module a)
+ Language.CSPM.AST: instance GHC.Classes.Eq Language.CSPM.AST.AssertDecl
+ Language.CSPM.AST: instance GHC.Classes.Eq Language.CSPM.AST.BindType
+ Language.CSPM.AST: instance GHC.Classes.Eq Language.CSPM.AST.BuiltIn
+ Language.CSPM.AST: instance GHC.Classes.Eq Language.CSPM.AST.CommField
+ Language.CSPM.AST: instance GHC.Classes.Eq Language.CSPM.AST.Comment
+ Language.CSPM.AST: instance GHC.Classes.Eq Language.CSPM.AST.CompGen
+ Language.CSPM.AST: instance GHC.Classes.Eq Language.CSPM.AST.Const
+ Language.CSPM.AST: instance GHC.Classes.Eq Language.CSPM.AST.Constructor
+ Language.CSPM.AST: instance GHC.Classes.Eq Language.CSPM.AST.Decl
+ Language.CSPM.AST: instance GHC.Classes.Eq Language.CSPM.AST.Exp
+ Language.CSPM.AST: instance GHC.Classes.Eq Language.CSPM.AST.FDRModels
+ Language.CSPM.AST: instance GHC.Classes.Eq Language.CSPM.AST.FdrExt
+ Language.CSPM.AST: instance GHC.Classes.Eq Language.CSPM.AST.FromParser
+ Language.CSPM.AST: instance GHC.Classes.Eq Language.CSPM.AST.FunCase
+ Language.CSPM.AST: instance GHC.Classes.Eq Language.CSPM.AST.IDType
+ Language.CSPM.AST: instance GHC.Classes.Eq Language.CSPM.AST.Ident
+ Language.CSPM.AST: instance GHC.Classes.Eq Language.CSPM.AST.Link
+ Language.CSPM.AST: instance GHC.Classes.Eq Language.CSPM.AST.LinkList
+ Language.CSPM.AST: instance GHC.Classes.Eq Language.CSPM.AST.NodeId
+ Language.CSPM.AST: instance GHC.Classes.Eq Language.CSPM.AST.Pattern
+ Language.CSPM.AST: instance GHC.Classes.Eq Language.CSPM.AST.PrologMode
+ Language.CSPM.AST: instance GHC.Classes.Eq Language.CSPM.AST.Range
+ Language.CSPM.AST: instance GHC.Classes.Eq Language.CSPM.AST.RefineOp
+ Language.CSPM.AST: instance GHC.Classes.Eq Language.CSPM.AST.Rename
+ Language.CSPM.AST: instance GHC.Classes.Eq Language.CSPM.AST.Selector
+ Language.CSPM.AST: instance GHC.Classes.Eq Language.CSPM.AST.TauRefineOp
+ Language.CSPM.AST: instance GHC.Classes.Eq Language.CSPM.AST.TypeDef
+ Language.CSPM.AST: instance GHC.Classes.Eq Language.CSPM.AST.UniqueIdent
+ Language.CSPM.AST: instance GHC.Classes.Eq t => GHC.Classes.Eq (Language.CSPM.AST.Labeled t)
+ Language.CSPM.AST: instance GHC.Classes.Ord (Language.CSPM.AST.Module a)
+ Language.CSPM.AST: instance GHC.Classes.Ord Language.CSPM.AST.AssertDecl
+ Language.CSPM.AST: instance GHC.Classes.Ord Language.CSPM.AST.BindType
+ Language.CSPM.AST: instance GHC.Classes.Ord Language.CSPM.AST.BuiltIn
+ Language.CSPM.AST: instance GHC.Classes.Ord Language.CSPM.AST.CommField
+ Language.CSPM.AST: instance GHC.Classes.Ord Language.CSPM.AST.Comment
+ Language.CSPM.AST: instance GHC.Classes.Ord Language.CSPM.AST.CompGen
+ Language.CSPM.AST: instance GHC.Classes.Ord Language.CSPM.AST.Const
+ Language.CSPM.AST: instance GHC.Classes.Ord Language.CSPM.AST.Constructor
+ Language.CSPM.AST: instance GHC.Classes.Ord Language.CSPM.AST.Decl
+ Language.CSPM.AST: instance GHC.Classes.Ord Language.CSPM.AST.Exp
+ Language.CSPM.AST: instance GHC.Classes.Ord Language.CSPM.AST.FDRModels
+ Language.CSPM.AST: instance GHC.Classes.Ord Language.CSPM.AST.FdrExt
+ Language.CSPM.AST: instance GHC.Classes.Ord Language.CSPM.AST.FunCase
+ Language.CSPM.AST: instance GHC.Classes.Ord Language.CSPM.AST.IDType
+ Language.CSPM.AST: instance GHC.Classes.Ord Language.CSPM.AST.Ident
+ Language.CSPM.AST: instance GHC.Classes.Ord Language.CSPM.AST.Link
+ Language.CSPM.AST: instance GHC.Classes.Ord Language.CSPM.AST.LinkList
+ Language.CSPM.AST: instance GHC.Classes.Ord Language.CSPM.AST.NodeId
+ Language.CSPM.AST: instance GHC.Classes.Ord Language.CSPM.AST.Pattern
+ Language.CSPM.AST: instance GHC.Classes.Ord Language.CSPM.AST.PrologMode
+ Language.CSPM.AST: instance GHC.Classes.Ord Language.CSPM.AST.Range
+ Language.CSPM.AST: instance GHC.Classes.Ord Language.CSPM.AST.RefineOp
+ Language.CSPM.AST: instance GHC.Classes.Ord Language.CSPM.AST.Rename
+ Language.CSPM.AST: instance GHC.Classes.Ord Language.CSPM.AST.Selector
+ Language.CSPM.AST: instance GHC.Classes.Ord Language.CSPM.AST.TauRefineOp
+ Language.CSPM.AST: instance GHC.Classes.Ord Language.CSPM.AST.TypeDef
+ Language.CSPM.AST: instance GHC.Classes.Ord Language.CSPM.AST.UniqueIdent
+ Language.CSPM.AST: instance GHC.Classes.Ord t => GHC.Classes.Ord (Language.CSPM.AST.Labeled t)
+ Language.CSPM.AST: instance GHC.Enum.Enum Language.CSPM.AST.NodeId
+ Language.CSPM.AST: instance GHC.Generics.Generic (Language.CSPM.AST.Labeled t)
+ Language.CSPM.AST: instance GHC.Generics.Generic (Language.CSPM.AST.Module a)
+ Language.CSPM.AST: instance GHC.Generics.Generic Language.CSPM.AST.AssertDecl
+ Language.CSPM.AST: instance GHC.Generics.Generic Language.CSPM.AST.BindType
+ Language.CSPM.AST: instance GHC.Generics.Generic Language.CSPM.AST.BuiltIn
+ Language.CSPM.AST: instance GHC.Generics.Generic Language.CSPM.AST.CommField
+ Language.CSPM.AST: instance GHC.Generics.Generic Language.CSPM.AST.Comment
+ Language.CSPM.AST: instance GHC.Generics.Generic Language.CSPM.AST.CompGen
+ Language.CSPM.AST: instance GHC.Generics.Generic Language.CSPM.AST.Const
+ Language.CSPM.AST: instance GHC.Generics.Generic Language.CSPM.AST.Constructor
+ Language.CSPM.AST: instance GHC.Generics.Generic Language.CSPM.AST.Decl
+ Language.CSPM.AST: instance GHC.Generics.Generic Language.CSPM.AST.Exp
+ Language.CSPM.AST: instance GHC.Generics.Generic Language.CSPM.AST.FDRModels
+ Language.CSPM.AST: instance GHC.Generics.Generic Language.CSPM.AST.FdrExt
+ Language.CSPM.AST: instance GHC.Generics.Generic Language.CSPM.AST.FromParser
+ Language.CSPM.AST: instance GHC.Generics.Generic Language.CSPM.AST.FunCase
+ Language.CSPM.AST: instance GHC.Generics.Generic Language.CSPM.AST.IDType
+ Language.CSPM.AST: instance GHC.Generics.Generic Language.CSPM.AST.Ident
+ Language.CSPM.AST: instance GHC.Generics.Generic Language.CSPM.AST.Link
+ Language.CSPM.AST: instance GHC.Generics.Generic Language.CSPM.AST.LinkList
+ Language.CSPM.AST: instance GHC.Generics.Generic Language.CSPM.AST.NodeId
+ Language.CSPM.AST: instance GHC.Generics.Generic Language.CSPM.AST.Pattern
+ Language.CSPM.AST: instance GHC.Generics.Generic Language.CSPM.AST.PrologMode
+ Language.CSPM.AST: instance GHC.Generics.Generic Language.CSPM.AST.Range
+ Language.CSPM.AST: instance GHC.Generics.Generic Language.CSPM.AST.RefineOp
+ Language.CSPM.AST: instance GHC.Generics.Generic Language.CSPM.AST.Rename
+ Language.CSPM.AST: instance GHC.Generics.Generic Language.CSPM.AST.Selector
+ Language.CSPM.AST: instance GHC.Generics.Generic Language.CSPM.AST.TauRefineOp
+ Language.CSPM.AST: instance GHC.Generics.Generic Language.CSPM.AST.TypeDef
+ Language.CSPM.AST: instance GHC.Generics.Generic Language.CSPM.AST.UniqueIdent
+ Language.CSPM.AST: instance GHC.Show.Show (Language.CSPM.AST.Module a)
+ Language.CSPM.AST: instance GHC.Show.Show Language.CSPM.AST.AssertDecl
+ Language.CSPM.AST: instance GHC.Show.Show Language.CSPM.AST.BindType
+ Language.CSPM.AST: instance GHC.Show.Show Language.CSPM.AST.BuiltIn
+ Language.CSPM.AST: instance GHC.Show.Show Language.CSPM.AST.CommField
+ Language.CSPM.AST: instance GHC.Show.Show Language.CSPM.AST.Comment
+ Language.CSPM.AST: instance GHC.Show.Show Language.CSPM.AST.CompGen
+ Language.CSPM.AST: instance GHC.Show.Show Language.CSPM.AST.Const
+ Language.CSPM.AST: instance GHC.Show.Show Language.CSPM.AST.Constructor
+ Language.CSPM.AST: instance GHC.Show.Show Language.CSPM.AST.Decl
+ Language.CSPM.AST: instance GHC.Show.Show Language.CSPM.AST.Exp
+ Language.CSPM.AST: instance GHC.Show.Show Language.CSPM.AST.FDRModels
+ Language.CSPM.AST: instance GHC.Show.Show Language.CSPM.AST.FdrExt
+ Language.CSPM.AST: instance GHC.Show.Show Language.CSPM.AST.FunCase
+ Language.CSPM.AST: instance GHC.Show.Show Language.CSPM.AST.IDType
+ Language.CSPM.AST: instance GHC.Show.Show Language.CSPM.AST.Ident
+ Language.CSPM.AST: instance GHC.Show.Show Language.CSPM.AST.Link
+ Language.CSPM.AST: instance GHC.Show.Show Language.CSPM.AST.LinkList
+ Language.CSPM.AST: instance GHC.Show.Show Language.CSPM.AST.NodeId
+ Language.CSPM.AST: instance GHC.Show.Show Language.CSPM.AST.Pattern
+ Language.CSPM.AST: instance GHC.Show.Show Language.CSPM.AST.PrologMode
+ Language.CSPM.AST: instance GHC.Show.Show Language.CSPM.AST.Range
+ Language.CSPM.AST: instance GHC.Show.Show Language.CSPM.AST.RefineOp
+ Language.CSPM.AST: instance GHC.Show.Show Language.CSPM.AST.Rename
+ Language.CSPM.AST: instance GHC.Show.Show Language.CSPM.AST.Selector
+ Language.CSPM.AST: instance GHC.Show.Show Language.CSPM.AST.TauRefineOp
+ Language.CSPM.AST: instance GHC.Show.Show Language.CSPM.AST.TypeDef
+ Language.CSPM.AST: instance GHC.Show.Show Language.CSPM.AST.UniqueIdent
+ Language.CSPM.AST: instance GHC.Show.Show t => GHC.Show.Show (Language.CSPM.AST.Labeled t)
+ Language.CSPM.Frontend: [bindType] :: RenameInfo -> BindType
+ Language.CSPM.Frontend: [fixedEndCol] :: SrcLoc -> !Int
+ Language.CSPM.Frontend: [fixedEndLine] :: SrcLoc -> !Int
+ Language.CSPM.Frontend: [fixedEndOffset] :: SrcLoc -> !Int
+ Language.CSPM.Frontend: [fixedLen] :: SrcLoc -> !Int
+ Language.CSPM.Frontend: [fixedStartCol] :: SrcLoc -> !Int
+ Language.CSPM.Frontend: [fixedStartLine] :: SrcLoc -> !Int
+ Language.CSPM.Frontend: [fixedStartOffset] :: SrcLoc -> !Int
+ Language.CSPM.Frontend: [identDefinition] :: RenameInfo -> AstAnnotation UniqueIdent
+ Language.CSPM.Frontend: [identUse] :: RenameInfo -> AstAnnotation UniqueIdent
+ Language.CSPM.Frontend: [lexEMsg] :: LexError -> !String
+ Language.CSPM.Frontend: [lexEPos] :: LexError -> !AlexPosn
+ Language.CSPM.Frontend: [localBindings] :: RenameInfo -> Map String UniqueIdent
+ Language.CSPM.Frontend: [nameSupply] :: RenameInfo -> Int
+ Language.CSPM.Frontend: [nodeId] :: Labeled t -> NodeId
+ Language.CSPM.Frontend: [parseErrorMsg] :: ParseError -> String
+ Language.CSPM.Frontend: [parseErrorPos] :: ParseError -> AlexPosn
+ Language.CSPM.Frontend: [parseErrorToken] :: ParseError -> Token
+ Language.CSPM.Frontend: [prologMode] :: RenameInfo -> PrologMode
+ Language.CSPM.Frontend: [renameErrorLoc] :: RenameError -> SrcLoc
+ Language.CSPM.Frontend: [renameErrorMsg] :: RenameError -> String
+ Language.CSPM.Frontend: [srcLoc] :: Labeled t -> SrcLoc
+ Language.CSPM.Frontend: [unLabel] :: Labeled t -> t
+ Language.CSPM.Frontend: [usedNames] :: RenameInfo -> Set String
+ Language.CSPM.Frontend: [visible] :: RenameInfo -> Map String UniqueIdent
+ Language.CSPM.LexHelper: instance GHC.Show.Show Language.CSPM.LexHelper.FilePart
+ Language.CSPM.Parser: [parseErrorMsg] :: ParseError -> String
+ Language.CSPM.Parser: [parseErrorPos] :: ParseError -> AlexPosn
+ Language.CSPM.Parser: [parseErrorToken] :: ParseError -> Token
+ Language.CSPM.Parser: instance GHC.Exception.Exception Language.CSPM.Parser.ParseError
+ Language.CSPM.Parser: instance GHC.Show.Show Language.CSPM.Parser.PState
+ Language.CSPM.Parser: instance GHC.Show.Show Language.CSPM.Parser.ParseError
+ Language.CSPM.PrettyPrinter: instance Text.PrettyPrint.HughesPJClass.Pretty (Language.CSPM.AST.Module a)
+ Language.CSPM.PrettyPrinter: instance Text.PrettyPrint.HughesPJClass.Pretty Language.CSPM.AST.AssertDecl
+ Language.CSPM.PrettyPrinter: instance Text.PrettyPrint.HughesPJClass.Pretty Language.CSPM.AST.BuiltIn
+ Language.CSPM.PrettyPrinter: instance Text.PrettyPrint.HughesPJClass.Pretty Language.CSPM.AST.CommField
+ Language.CSPM.PrettyPrinter: instance Text.PrettyPrint.HughesPJClass.Pretty Language.CSPM.AST.Const
+ Language.CSPM.PrettyPrinter: instance Text.PrettyPrint.HughesPJClass.Pretty Language.CSPM.AST.Decl
+ Language.CSPM.PrettyPrinter: instance Text.PrettyPrint.HughesPJClass.Pretty Language.CSPM.AST.Exp
+ Language.CSPM.PrettyPrinter: instance Text.PrettyPrint.HughesPJClass.Pretty Language.CSPM.AST.FDRModels
+ Language.CSPM.PrettyPrinter: instance Text.PrettyPrint.HughesPJClass.Pretty Language.CSPM.AST.FdrExt
+ Language.CSPM.PrettyPrinter: instance Text.PrettyPrint.HughesPJClass.Pretty Language.CSPM.AST.Link
+ Language.CSPM.PrettyPrinter: instance Text.PrettyPrint.HughesPJClass.Pretty Language.CSPM.AST.LinkList
+ Language.CSPM.PrettyPrinter: instance Text.PrettyPrint.HughesPJClass.Pretty Language.CSPM.AST.Pattern
+ Language.CSPM.PrettyPrinter: instance Text.PrettyPrint.HughesPJClass.Pretty Language.CSPM.AST.Range
+ Language.CSPM.PrettyPrinter: instance Text.PrettyPrint.HughesPJClass.Pretty Language.CSPM.AST.RefineOp
+ Language.CSPM.PrettyPrinter: instance Text.PrettyPrint.HughesPJClass.Pretty Language.CSPM.AST.Rename
+ Language.CSPM.PrettyPrinter: instance Text.PrettyPrint.HughesPJClass.Pretty Language.CSPM.AST.TauRefineOp
+ Language.CSPM.PrettyPrinter: instance Text.PrettyPrint.HughesPJClass.Pretty x => Text.PrettyPrint.HughesPJClass.Pretty (Language.CSPM.AST.Labeled x)
+ Language.CSPM.Rename: [bindType] :: RenameInfo -> BindType
+ Language.CSPM.Rename: [identDefinition] :: RenameInfo -> AstAnnotation UniqueIdent
+ Language.CSPM.Rename: [identUse] :: RenameInfo -> AstAnnotation UniqueIdent
+ Language.CSPM.Rename: [localBindings] :: RenameInfo -> Map String UniqueIdent
+ Language.CSPM.Rename: [nameSupply] :: RenameInfo -> Int
+ Language.CSPM.Rename: [prologMode] :: RenameInfo -> PrologMode
+ Language.CSPM.Rename: [renameErrorLoc] :: RenameError -> SrcLoc
+ Language.CSPM.Rename: [renameErrorMsg] :: RenameError -> String
+ Language.CSPM.Rename: [usedNames] :: RenameInfo -> Set String
+ Language.CSPM.Rename: [visible] :: RenameInfo -> Map String UniqueIdent
+ Language.CSPM.Rename: instance Control.Monad.Trans.Error.Error Language.CSPM.Rename.RenameError
+ Language.CSPM.Rename: instance Data.Data.Data Language.CSPM.Rename.FromRenaming
+ Language.CSPM.Rename: instance GHC.Exception.Exception Language.CSPM.Rename.RenameError
+ Language.CSPM.Rename: instance GHC.Show.Show Language.CSPM.Rename.RenameError
+ Language.CSPM.Rename: instance GHC.Show.Show Language.CSPM.Rename.RenameInfo
+ Language.CSPM.SrcLoc: [fixedEndCol] :: SrcLoc -> !Int
+ Language.CSPM.SrcLoc: [fixedEndLine] :: SrcLoc -> !Int
+ Language.CSPM.SrcLoc: [fixedEndOffset] :: SrcLoc -> !Int
+ Language.CSPM.SrcLoc: [fixedLen] :: SrcLoc -> !Int
+ Language.CSPM.SrcLoc: [fixedStartCol] :: SrcLoc -> !Int
+ Language.CSPM.SrcLoc: [fixedStartLine] :: SrcLoc -> !Int
+ Language.CSPM.SrcLoc: [fixedStartOffset] :: SrcLoc -> !Int
+ Language.CSPM.SrcLoc: instance Data.Data.Data Language.CSPM.SrcLoc.SrcLoc
+ Language.CSPM.SrcLoc: instance GHC.Classes.Eq Language.CSPM.SrcLoc.SrcLoc
+ Language.CSPM.SrcLoc: instance GHC.Classes.Ord Language.CSPM.SrcLoc.SrcLoc
+ Language.CSPM.SrcLoc: instance GHC.Generics.Generic Language.CSPM.SrcLoc.SrcLoc
+ Language.CSPM.SrcLoc: instance GHC.Show.Show Language.CSPM.SrcLoc.SrcLoc
+ Language.CSPM.Token: [alexCol] :: AlexPosn -> !Int
+ Language.CSPM.Token: [alexLine] :: AlexPosn -> !Int
+ Language.CSPM.Token: [alexPos] :: AlexPosn -> !Int
+ Language.CSPM.Token: [lexEMsg] :: LexError -> !String
+ Language.CSPM.Token: [lexEPos] :: LexError -> !AlexPosn
+ Language.CSPM.Token: [tokenClass] :: Token -> PrimToken
+ Language.CSPM.Token: [tokenId] :: Token -> TokenId
+ Language.CSPM.Token: [tokenLen] :: Token -> Int
+ Language.CSPM.Token: [tokenStart] :: Token -> AlexPosn
+ Language.CSPM.Token: [tokenString] :: Token -> String
+ Language.CSPM.Token: [unTokenId] :: TokenId -> Int
+ Language.CSPM.Token: instance Data.Data.Data Language.CSPM.Token.AlexPosn
+ Language.CSPM.Token: instance Data.Data.Data Language.CSPM.Token.Token
+ Language.CSPM.Token: instance Data.Data.Data Language.CSPM.Token.TokenId
+ Language.CSPM.Token: instance GHC.Arr.Ix Language.CSPM.Token.TokenId
+ Language.CSPM.Token: instance GHC.Classes.Eq Language.CSPM.Token.AlexPosn
+ Language.CSPM.Token: instance GHC.Classes.Eq Language.CSPM.Token.Token
+ Language.CSPM.Token: instance GHC.Classes.Eq Language.CSPM.Token.TokenId
+ Language.CSPM.Token: instance GHC.Classes.Ord Language.CSPM.Token.AlexPosn
+ Language.CSPM.Token: instance GHC.Classes.Ord Language.CSPM.Token.Token
+ Language.CSPM.Token: instance GHC.Classes.Ord Language.CSPM.Token.TokenId
+ Language.CSPM.Token: instance GHC.Enum.Enum Language.CSPM.Token.TokenId
+ Language.CSPM.Token: instance GHC.Exception.Exception Language.CSPM.Token.LexError
+ Language.CSPM.Token: instance GHC.Generics.Generic Language.CSPM.Token.AlexPosn
+ Language.CSPM.Token: instance GHC.Generics.Generic Language.CSPM.Token.Token
+ Language.CSPM.Token: instance GHC.Generics.Generic Language.CSPM.Token.TokenId
+ Language.CSPM.Token: instance GHC.Show.Show Language.CSPM.Token.AlexPosn
+ Language.CSPM.Token: instance GHC.Show.Show Language.CSPM.Token.LexError
+ Language.CSPM.Token: instance GHC.Show.Show Language.CSPM.Token.Token
+ Language.CSPM.Token: instance GHC.Show.Show Language.CSPM.Token.TokenId
+ Language.CSPM.TokenClasses: instance Data.Data.Data Language.CSPM.TokenClasses.PrimToken
+ Language.CSPM.TokenClasses: instance GHC.Arr.Ix Language.CSPM.TokenClasses.PrimToken
+ Language.CSPM.TokenClasses: instance GHC.Classes.Eq Language.CSPM.TokenClasses.PrimToken
+ Language.CSPM.TokenClasses: instance GHC.Classes.Ord Language.CSPM.TokenClasses.PrimToken
+ Language.CSPM.TokenClasses: instance GHC.Enum.Bounded Language.CSPM.TokenClasses.PrimToken
+ Language.CSPM.TokenClasses: instance GHC.Enum.Enum Language.CSPM.TokenClasses.PrimToken
+ Language.CSPM.TokenClasses: instance GHC.Generics.Generic Language.CSPM.TokenClasses.PrimToken
+ Language.CSPM.TokenClasses: instance GHC.Show.Show Language.CSPM.TokenClasses.PrimToken
Files
- CSPM-Frontend.cabal +16/−13
- LICENSE +1/−1
- README.md +9/−0
- src/Language/CSPM/Rename.hs +2/−2
CSPM-Frontend.cabal view
@@ -1,5 +1,5 @@ Name: CSPM-Frontend-Version: 0.10.0.0+Version: 0.12.1.0 Synopsis: A CSP-M parser compatible with FDR-2.91 @@ -13,31 +13,34 @@ License: BSD3 category: Language,Formal Methods,Concurrency License-File: LICENSE-Author: Marc Fontaine 2007 - 2014+Author: Marc Fontaine 2007 - 2017 Maintainer: Marc Fontaine <Marc.Fontaine@gmx.de>, me@dobrikov.biz Stability: maintained-Tested-With: GHC == 7.8.3--cabal-Version: >= 1.20+Tested-With: GHC == 8.2.1+cabal-Version: >= 1.24 build-type: Simple+Extra-Source-Files: README.md+ +Source-Repository head+ type: git+ location: git://github.com/MarcFontaine/cspm library Build-Depends: base >=4.0 && < 5.0 ,containers >= 0.5 && < 0.6 ,array >= 0.5 && < 0.6- ,parsec2 >= 1.0.0 && < 1.1.0+ ,parsec >= 3.1.11 && < 3.2 ,prettyclass >= 1.0 && < 1.1- ,mtl >= 2.1 && < 2.2- ,either >= 4.3 && < 4.4- ,transformers >= 0.3- ,dlist >= 0.7 && < 0.8- ,syb- ,ghc-prim >=0.3 && < 0.4+ ,mtl >= 2.2 && < 2.3+ ,either >= 4.3 && < 4.5+ ,transformers >= 0.5 && < 0.6+ ,dlist >=0.7 && < 0.9+ ,syb >= 0.7 && < 0.8+ Default-Language: Haskell2010 Other-Extensions: DeriveDataTypeable--- ,DeriveGeneric GHC-Options: -funbox-strict-fields -O2 -Wall Hs-Source-Dirs: src Exposed-modules:
LICENSE view
@@ -1,4 +1,4 @@-Copyright (c) Marc Fontaine 2007-2011+Copyright (c) Marc Fontaine 2007-2017 All rights reserved.
+ README.md view
@@ -0,0 +1,9 @@+# CSPM-Frontend++CSP-M is the machine readable syntax of CSP (concurrent sequential processes)+as used by the formal methods tools FDR, Probe and ProB.+This Package contains functions for lexing, parsing, renaming and pretty-printing+CSP-M specifications.+The parser is (almost) 100% compatible with the FDR-2.91 parser.++## [Haddock documentation](http://hackage.haskell.org/package/CSPM-Frontend)
src/Language/CSPM/Rename.hs view
@@ -48,8 +48,8 @@ instance Data FromRenaming where- gunfold = error "instance Data FromRenaming gunfold"- toConstr = error "instance Data FromRenaming toConstr"+ gunfold _ _ _ = error "instance Data FromRenaming gunfold"+ toConstr _ = error "instance Data FromRenaming toConstr" dataTypeOf _ = mkDataType "Language.CSPM.Rename.FromRenaming" [] -- | A module that has gone through renaming