DDF.Bimap

Documentation

class (Int r, Map r) => Bimap r where

Minimal complete definition

size, lookupL, lookupR, empty, singleton, toMapL, toMapR, insert, updateL, updateR

Methods

size :: r h (Bimap a b -> Int)

lookupL :: (Ord a, Ord b) => r h (Bimap a b -> a -> Maybe b)

lookupR :: (Ord a, Ord b) => r h (Bimap a b -> b -> Maybe a)

empty :: r h (Bimap a b)

singleton :: r h ((a, b) -> Bimap a b)

toMapL :: r h (Bimap a b -> Map a b)

toMapR :: r h (Bimap a b -> Map b a)

insert :: (Ord a, Ord b) => r h ((a, b) -> Bimap a b -> Bimap a b)

updateL :: (Ord a, Ord b) => r h ((b -> Maybe b) -> a -> Bimap a b -> Bimap a b)

updateR :: (Ord a, Ord b) => r h ((a -> Maybe a) -> b -> Bimap a b -> Bimap a b)

Instances

Bimap Show

Methods

size :: Show h (Bimap a b -> Int)

lookupL :: (Ord a, Ord b) => Show h (Bimap a b -> a -> Maybe b)

lookupR :: (Ord a, Ord b) => Show h (Bimap a b -> b -> Maybe a)

empty :: Show h (Bimap a b)

singleton :: Show h ((a, b) -> Bimap a b)

toMapL :: Show h (Bimap a b -> Map a b)

toMapR :: Show h (Bimap a b -> Map b a)

insert :: (Ord a, Ord b) => Show h ((a, b) -> Bimap a b -> Bimap a b)

updateL :: (Ord a, Ord b) => Show h ((b -> Maybe b) -> a -> Bimap a b -> Bimap a b)

updateR :: (Ord a, Ord b) => Show h ((a -> Maybe a) -> b -> Bimap a b -> Bimap a b)

Bimap Size

Methods

size :: Size h (Bimap a b -> Int)

lookupL :: (Ord a, Ord b) => Size h (Bimap a b -> a -> Maybe b)

lookupR :: (Ord a, Ord b) => Size h (Bimap a b -> b -> Maybe a)

empty :: Size h (Bimap a b)

singleton :: Size h ((a, b) -> Bimap a b)

toMapL :: Size h (Bimap a b -> Map a b)

toMapR :: Size h (Bimap a b -> Map b a)

insert :: (Ord a, Ord b) => Size h ((a, b) -> Bimap a b -> Bimap a b)

updateL :: (Ord a, Ord b) => Size h ((b -> Maybe b) -> a -> Bimap a b -> Bimap a b)

updateR :: (Ord a, Ord b) => Size h ((a -> Maybe a) -> b -> Bimap a b -> Bimap a b)

Bimap UInt

Methods

size :: UInt h (Bimap a b -> Int)

lookupL :: (Ord a, Ord b) => UInt h (Bimap a b -> a -> Maybe b)

lookupR :: (Ord a, Ord b) => UInt h (Bimap a b -> b -> Maybe a)

empty :: UInt h (Bimap a b)

singleton :: UInt h ((a, b) -> Bimap a b)

toMapL :: UInt h (Bimap a b -> Map a b)

toMapR :: UInt h (Bimap a b -> Map b a)

insert :: (Ord a, Ord b) => UInt h ((a, b) -> Bimap a b -> Bimap a b)

updateL :: (Ord a, Ord b) => UInt h ((b -> Maybe b) -> a -> Bimap a b -> Bimap a b)

updateR :: (Ord a, Ord b) => UInt h ((a -> Maybe a) -> b -> Bimap a b -> Bimap a b)

Bimap r => Bimap (UnLiftEnv r)

Methods

size :: UnLiftEnv r h (Bimap a b -> Int)

lookupL :: (Ord a, Ord b) => UnLiftEnv r h (Bimap a b -> a -> Maybe b)

lookupR :: (Ord a, Ord b) => UnLiftEnv r h (Bimap a b -> b -> Maybe a)

empty :: UnLiftEnv r h (Bimap a b)

singleton :: UnLiftEnv r h ((a, b) -> Bimap a b)

toMapL :: UnLiftEnv r h (Bimap a b -> Map a b)

toMapR :: UnLiftEnv r h (Bimap a b -> Map b a)

insert :: (Ord a, Ord b) => UnLiftEnv r h ((a, b) -> Bimap a b -> Bimap a b)

updateL :: (Ord a, Ord b) => UnLiftEnv r h ((b -> Maybe b) -> a -> Bimap a b -> Bimap a b)

updateR :: (Ord a, Ord b) => UnLiftEnv r h ((a -> Maybe a) -> b -> Bimap a b -> Bimap a b)

lookupL2 :: (Ord b, Ord a, Bimap r) => r h (Bimap a b) -> r h a -> r h (Maybe b)

size1 :: Bimap r => r h (Bimap a b) -> r h Int

insert2 :: (Ord b, Ord a, Bimap r) => r h (a, b) -> r h (Bimap a b) -> r h (Bimap a b)

module DDF.Prod

module DDF.Option