Safe Haskell | Safe-Inferred |
---|---|
Language | GHC2021 |
Synopsis
- compatibleInsert :: Eq a => Int -> a -> IntMap a -> Maybe (IntMap a)
- compatibleUnion :: Eq a => IntMap a -> IntMap a -> Maybe (IntMap a)
- data Bij = Bij {}
- empty :: Bij
- singleton :: Int -> Int -> Bij
- match :: Int -> Int -> Bij -> Maybe Bij
- combine :: Bij -> Bij -> Maybe Bij
- pop :: Bij -> Maybe ((Int, Int), Bij)
- unsafeUnion :: Bij -> Bij -> Bij
- unsafeDifference :: Bij -> Bij -> Bij
- newtype MaybeBij = MaybeBij {
- getMaybeBij :: Maybe Bij
- msingleton :: Int -> Int -> MaybeBij
- closeBijection :: (Int -> Int -> Maybe Bij) -> Bij -> Maybe Bij