Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
class Bijection z where Source
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