Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Data.Bijection.Class
Documentation
class Bijection z where Source
Minimal complete definition
contL, contR, lookupL, lookupR, empty, null, size, fromList, toList, insert, deleteByL, deleteByR
Associated Types
Methods
memberL :: z -> ElemL z -> Bool Source
memberR :: z -> ElemR z -> Bool Source
lookupL :: z -> ElemL z -> Maybe (ElemR z) Source
lookupR :: z -> ElemR z -> Maybe (ElemL z) Source
fromList :: [(ElemL z, ElemR z)] -> z Source
toList :: z -> [(ElemL z, ElemR z)] Source
insert :: z -> (ElemL z, ElemR z) -> z Source
Instances
(Eq l, Eq r, Hashable l, Hashable r) => Bijection (Bimap l r) Source | |
(Ord l, Ord r) => Bijection (Bimap l r) Source | |
(Eq l, Eq r) => Bijection (Bimap l r) Source | |
(Eq l, Eq r, Unbox l, Unbox r) => Bijection (Bimap l r) Source | |
(Eq l, Eq r, Storable l, Storable r, Storable (l, r)) => Bijection (Bimap l r) Source |