Data.Bijection.Class

Documentation

class Bijection z where

Minimal complete definition

contL, contR, lookupL, lookupR, empty, null, size, fromList, toList, insert, deleteByL, deleteByR

Associated Types

type ContL z :: *

type ContR z :: *

type ElemL z :: *

type ElemR z :: *

Methods

contL :: z -> ContL z

contR :: z -> ContR z

memberL :: z -> ElemL z -> Bool

memberR :: z -> ElemR z -> Bool

lookupL :: z -> ElemL z -> Maybe (ElemR z)

lookupR :: z -> ElemR z -> Maybe (ElemL z)

empty :: z

null :: z -> Bool

size :: z -> Int

fromList :: [(ElemL z, ElemR z)] -> z

toList :: z -> [(ElemL z, ElemR z)]

insert :: z -> (ElemL z, ElemR z) -> z

deleteByL :: z -> ElemL z -> z

deleteByR :: z -> ElemR z -> z

Instances

(Eq l, Eq r, Hashable l, Hashable r) => Bijection (Bimap l r)

(Ord l, Ord r) => Bijection (Bimap l r)

(Eq l, Eq r) => Bijection (Bimap l r)

(Eq l, Eq r, Unbox l, Unbox r) => Bijection (Bimap l r)

(Eq l, Eq r, Storable l, Storable r, Storable (l, r)) => Bijection (Bimap l r)

findWithDefaultL :: Bijection z => ElemR z -> z -> ElemL z -> ElemR z

findWithDefaultR :: Bijection z => ElemL z -> z -> ElemR z -> ElemL z