Data.Bijection

Documentation

compatibleInsert :: Eq a => Int -> a -> IntMap a -> Maybe (IntMap a)

compatibleUnion :: Eq a => IntMap a -> IntMap a -> Maybe (IntMap a)

data Bij

Constructors

Bij

Fields

• rightwards :: IntMap Int
• leftwards :: IntMap Int

Instances

Eq Bij

Defined in Data.Bijection

Methods

(==) :: Bij -> Bij -> Bool

(/=) :: Bij -> Bij -> Bool

Ord Bij

Defined in Data.Bijection

Methods

compare :: Bij -> Bij -> Ordering

(<) :: Bij -> Bij -> Bool

(<=) :: Bij -> Bij -> Bool

(>) :: Bij -> Bij -> Bool

(>=) :: Bij -> Bij -> Bool

max :: Bij -> Bij -> Bij

min :: Bij -> 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

Don't check consistency, just take a union

unsafeDifference :: Bij -> Bij -> Bij

Don't check consistency, just take a diff

newtype MaybeBij

A newtype, just to get a partial monoidal structure representing consistent unions.

Constructors

MaybeBij

Fields

• getMaybeBij :: Maybe Bij

Instances

Monoid MaybeBij

Defined in Data.Bijection

Methods

mempty :: MaybeBij

mappend :: MaybeBij -> MaybeBij -> MaybeBij

mconcat :: [MaybeBij] -> MaybeBij

Semigroup MaybeBij

Defined in Data.Bijection

Methods

(<>) :: MaybeBij -> MaybeBij -> MaybeBij

sconcat :: NonEmpty MaybeBij -> MaybeBij

stimes :: Integral b => b -> MaybeBij -> MaybeBij

Eq MaybeBij

Defined in Data.Bijection

Methods

(==) :: MaybeBij -> MaybeBij -> Bool

(/=) :: MaybeBij -> MaybeBij -> Bool

Ord MaybeBij

Defined in Data.Bijection

Methods

compare :: MaybeBij -> MaybeBij -> Ordering

(<) :: MaybeBij -> MaybeBij -> Bool

(<=) :: MaybeBij -> MaybeBij -> Bool

(>) :: MaybeBij -> MaybeBij -> Bool

(>=) :: MaybeBij -> MaybeBij -> Bool

max :: MaybeBij -> MaybeBij -> MaybeBij

min :: MaybeBij -> MaybeBij -> MaybeBij

msingleton :: Int -> Int -> MaybeBij

closeBijection :: (Int -> Int -> Maybe Bij) -> Bij -> Maybe Bij