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 Eval

Methods

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

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

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

empty :: Eval h (Bimap a b)

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

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

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

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

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

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

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)

SubL c Bimap => Bimap (Term c)

Methods

size :: Term c h (Bimap a b -> Int)

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

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

empty :: Term c h (Bimap a b)

singleton :: Term c h ((a, b) -> Bimap a b)

toMapL :: Term c h (Bimap a b -> Map a b)

toMapR :: Term c h (Bimap a b -> Map b a)

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

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

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

Bimap r => Bimap (UnHOAS r)

Methods

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

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

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

empty :: UnHOAS r h (Bimap a b)

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

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

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

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

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

updateR :: (Ord a, Ord b) => UnHOAS r 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)

Bimap r => Bimap (ImpW r)

Methods

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

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

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

empty :: ImpW r h (Bimap a b)

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

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

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

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

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

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

type SubLC c Bimap

type SubLC c Bimap = (SubL c Int, SubL c Map)

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