Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
- data Meep k a
- empty :: Meep k a
- singleton :: k -> a -> Meep k a
- size :: Num b => Meep k a -> b
- null :: Meep k a -> Bool
- fromMaybe :: Maybe (k, a) -> Meep k a
- toMaybe :: Meep k a -> Maybe (k, a)
- maybeing :: Iso (Meep k v) (Meep k' v') (Maybe (k, v)) (Maybe (k', v'))
- intersection :: Eq k => Meep k a -> Meep k b -> Meep k a
- intersectionWith :: Eq k => (a -> b -> c) -> Meep k a -> Meep k b -> Meep k c
- intersectionWithKey :: Eq k => (k -> a -> b -> c) -> Meep k a -> Meep k b -> Meep k c
- keys :: Meep k a -> Maybe k
- elems :: Meep k a -> Maybe a
Documentation
A Meep from key k
to value a
Bitraversable Meep | |
Bifunctor Meep | |
Bifoldable Meep | |
Biapply Meep | |
FunctorWithIndex k (Meep k) | |
FoldableWithIndex k (Meep k) | |
TraversableWithIndex k (Meep k) | |
Functor (Meep k) | |
Foldable (Meep k) | |
Traversable (Meep k) | |
Eq k => Apply (Meep k) | |
(Eq k, Eq a) => Eq (Meep k a) | |
(Data k, Data a) => Data (Meep k a) | |
(Ord k, Ord a) => Ord (Meep k a) | |
(Show k, Show a) => Show (Meep k a) | |
Generic (Meep k a) | |
(Eq k, Semigroup a) => Semigroup (Meep k a) |
|
Eq k => Ixed (Meep k a) | |
Eq k => At (Meep k a) | |
AsEmpty (Meep k a) | |
Typeable (* -> * -> *) Meep | |
type Rep (Meep k a) | |
type Index (Meep k a) = k | |
type IxValue (Meep k a) = a |
intersection :: Eq k => Meep k a -> Meep k b -> Meep k a Source
O(1). Intersection of two Meep
s
intersection ≡intersectionWith
const
intersectionWith :: Eq k => (a -> b -> c) -> Meep k a -> Meep k b -> Meep k c Source
O(1). Intersection of two Meep
s with a combining function
>>>
intersectionWith (+) (Meep "hello" 4) (Meep "hello" 7)
fromMaybe (Just ("hello",11))
>>>
intersectionWith (+) (Meep "hello" 4) (Meep "bye" 7)
fromMaybe Nothing
>>>
intersectionWith (+) Empty (Meep "hello" 7)
fromMaybe Nothing
intersectionWith f ≡ intersectionWithKey (const f)
intersectionWithKey :: Eq k => (k -> a -> b -> c) -> Meep k a -> Meep k b -> Meep k c Source
O(1). Intersection of two Meep
s with a combining function