|
|
|
| Description |
| Needs IdSupply? Erg, no. I don't know what it is doing with those Ids...
|
|
| Synopsis |
|
| type ExpI = Exp Id | | | type Down = (ExpI -> ExpI, ExpI, ExpI, ExpI, ExpI, (ExpI, ExpI), ExpI, (TokenId, IdKind) -> Id, PosExp, [Char], Map Id Id) | | | type Thread = (IntState, Map TokenId Id) | | | type CaseFun a = Down -> Thread -> (a, Thread) | | | addRatioCon :: ((TokenId, IdKind) -> Id) -> IntState -> (Id, IntState) | | | caseTidFun :: CaseFun ((TokenId, IdKind) -> Id) | | | caseList :: CaseFun (ExpI, ExpI) | | | caseEqInteger :: CaseFun ExpI | | | caseEqFloat :: CaseFun ExpI | | | caseEqDouble :: CaseFun ExpI | | | caseTrue :: CaseFun ExpI | | | caseRatioCon :: CaseFun PosExp | | | caseUndef :: CaseFun PosExp | | | caseEqualNumEq :: CaseFun (ExpI -> ExpI) | | | caseIdent :: Pos -> Id -> CaseFun PosExp | | | caseTranslate :: Id -> [Id] -> CaseFun Down | | | caseTuple :: Int -> CaseFun Id | | | caseAdd :: Info -> Down -> Thread -> Thread | | | caseError :: String -> Down -> Thread -> Thread | | | caseUnique :: CaseFun Id | | | caseUniques :: [a] -> CaseFun [(a, Id)] | | | caseState :: CaseFun IntState | | | caseArity :: Id -> CaseFun Int |
|
|
| Documentation |
|
| type ExpI = Exp Id |
|
| type Down = (ExpI -> ExpI, ExpI, ExpI, ExpI, ExpI, (ExpI, ExpI), ExpI, (TokenId, IdKind) -> Id, PosExp, [Char], Map Id Id) |
| This enigmatic type has slightly-less enigmatic comments attached to its use in caseTopLevel
|
|
| type Thread = (IntState, Map TokenId Id) |
|
| type CaseFun a = Down -> Thread -> (a, Thread) |
|
| addRatioCon :: ((TokenId, IdKind) -> Id) -> IntState -> (Id, IntState) |
|
| caseTidFun :: CaseFun ((TokenId, IdKind) -> Id) |
|
| caseList :: CaseFun (ExpI, ExpI) |
|
| caseEqInteger :: CaseFun ExpI |
|
| caseEqFloat :: CaseFun ExpI |
|
| caseEqDouble :: CaseFun ExpI |
|
| caseTrue :: CaseFun ExpI |
|
| caseRatioCon :: CaseFun PosExp |
|
| caseUndef :: CaseFun PosExp |
|
| caseEqualNumEq :: CaseFun (ExpI -> ExpI) |
|
| caseIdent :: Pos -> Id -> CaseFun PosExp |
|
| caseTranslate :: Id -> [Id] -> CaseFun Down |
|
| caseTuple :: Int -> CaseFun Id |
|
| caseAdd :: Info -> Down -> Thread -> Thread |
|
| caseError :: String -> Down -> Thread -> Thread |
|
| caseUnique :: CaseFun Id |
|
| caseUniques :: [a] -> CaseFun [(a, Id)] |
|
| caseState :: CaseFun IntState |
|
| caseArity :: Id -> CaseFun Int |
|
| Produced by Haddock version 0.8 |
