IntLike.Equiv

Documentation

data IntLikeEquiv k v

Instances

Generic (IntLikeEquiv k v)

Defined in IntLike.Equiv

Associated Types

type Rep (IntLikeEquiv k v) :: Type -> Type

Methods

from :: IntLikeEquiv k v -> Rep (IntLikeEquiv k v) x

to :: Rep (IntLikeEquiv k v) x -> IntLikeEquiv k v

Show k => Show (IntLikeEquiv k v)

Defined in IntLike.Equiv

Methods

showsPrec :: Int -> IntLikeEquiv k v -> ShowS

show :: IntLikeEquiv k v -> String

showList :: [IntLikeEquiv k v] -> ShowS

NFData k => NFData (IntLikeEquiv k v)

Defined in IntLike.Equiv

Methods

rnf :: IntLikeEquiv k v -> ()

Eq k => Eq (IntLikeEquiv k v)

Defined in IntLike.Equiv

Methods

(==) :: IntLikeEquiv k v -> IntLikeEquiv k v -> Bool

(/=) :: IntLikeEquiv k v -> IntLikeEquiv k v -> Bool

type Rep (IntLikeEquiv k v)

Defined in IntLike.Equiv

type Rep (IntLikeEquiv k v) = D1 ('MetaData "IntLikeEquiv" "IntLike.Equiv" "int-like-0.1.2-AyRTYb5vebDEYHmDPPE904" 'False) (C1 ('MetaCons "IntLikeEquiv" 'PrefixI 'True) (S1 ('MetaSel ('Just "fwdView") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (IntLikeMultiMap k v)) :*: S1 ('MetaSel ('Just "bwdView") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (IntLikeMap v k))))

fwdView :: IntLikeEquiv k v -> IntLikeMultiMap k v

bwdView :: IntLikeEquiv k v -> IntLikeMap v k

empty :: IntLikeEquiv k v

insert :: (Coercible k Int, Coercible v Int) => k -> v -> IntLikeEquiv k v -> Either k (IntLikeEquiv k v)

partialInsert :: (Coercible k Int, Coercible v Int) => k -> v -> IntLikeEquiv k v -> IntLikeEquiv k v

member :: (Eq k, Coercible v Int) => k -> v -> IntLikeEquiv k v -> Bool

lookupClass :: Coercible v Int => v -> IntLikeEquiv k v -> Maybe k