Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- type SlotL t = (Slot t, Int)
- type PrL t = (Prod t, Int)
- type NtL = (Nt, Int)
- type BSRs t = IntMap (IntMap (IntMap (Map (Prod t) IntSet)))
- type BSR t = (Slot t, Int, Int, Int)
- emptyBSRs :: Ord t => BSRs t
- pNodeLookup :: Ord t => BSRs t -> (Slot t, Int, Int) -> Maybe [Int]
- pNodeLookup' :: Ord t => BSRs t -> ((Prod t, Int), Int, Int) -> Maybe [Int]
- addBSR :: Ord t => BSR t -> BSRs t -> BSRs t
- pMapInsert :: Ord t => BSR t -> BSRs t -> BSRs t
- showBSRs :: (Show a, Show a) => IntMap (IntMap (IntMap (Map a a))) -> String