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'))
- keys :: Meep k a -> Maybe k
- elems :: Meep k a -> Maybe a
Documentation
A Meep from key k
to value a
Bitraversable Meep | |
Biapply Meep | |
Bifunctor Meep | |
Bifoldable Meep | |
FunctorWithIndex k (Meep k) | |
FoldableWithIndex k (Meep k) | |
TraversableWithIndex k (Meep k) | |
Functor (Meep k) | |
Foldable (Meep k) | |
Traversable (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 |