Modulewitherable-0.5

Witherable

1 type
4 classes
7 values

Packagewitherable-0.5
Exports12
LicenceBSD-3-Clause

value(<$?>) :: Filterable f => (a -> Maybe b) -> f a -> f b

value(<&?>) :: Filterable f => f a -> (a -> Maybe b) -> f b

valueforMaybe

:: (Witherable t, Applicative f)
=> t a
-> a -> f (Maybe b)
-> f (t b)

valuehashNub :: (Witherable t, Eq a, Hashable a) => t a -> t a

valuehashNubOn :: (Witherable t, Eq b, Hashable b) => (a -> b) -> t a -> t a

valueordNub :: (Witherable t, Ord a) => t a -> t a

valueordNubOn :: (Witherable t, Ord b) => (a -> b) -> t a -> t a

classclass Functor f => Filterable (f :: Type -> Type) where

Methods

mapMaybe :: (a -> Maybe b) -> f a -> f b
catMaybes :: f (Maybe a) -> f a
filter :: (a -> Bool) -> f a -> f a
drain :: f a -> f b

Instances27Filterable, …

Filterable IntMapDefined in witherable-0.5 · Witherable
Filterable SeqDefined in witherable-0.5 · Witherable
Filterable ZipListDefined in witherable-0.5 · Witherable
Filterable MaybeDefined in witherable-0.5 · Witherable
Filterable VectorDefined in witherable-0.5 · Witherable
Filterable []Defined in witherable-0.5 · Witherable
Functor f => Filterable (MaybeT f)Defined in witherable-0.5 · Witherable
Monoid e => Filterable (Either e)Defined in witherable-0.5 · Witherable
Filterable ProxyDefined in witherable-0.5 · Witherable
Filterable U1Defined in witherable-0.5 · Witherable
Filterable V1Defined in witherable-0.5 · Witherable
Filterable (Map k)Defined in witherable-0.5 · Witherable
(Eq k, Hashable k) => Filterable (HashMap k)Defined in witherable-0.5 · Witherable
(Foldable f, Alternative f) => Filterable (WrappedFoldable f)Defined in witherable-0.5 · Witherable
Filterable (Const r)Defined in witherable-0.5 · Witherable
Filterable f => Filterable (Rec1 f)Defined in witherable-0.5 · Witherable
Filterable f => Filterable (IdentityT f)Defined in witherable-0.5 · Witherable
Filterable t => Filterable (Backwards t)Defined in witherable-0.5 · Witherable
Filterable t => Filterable (Reverse t)Defined in witherable-0.5 · Witherable
Filterable (K1 i c)Defined in witherable-0.5 · Witherable
(Filterable f, Filterable g) => Filterable (Product f g)Defined in witherable-0.5 · Witherable
(Filterable f, Filterable g) => Filterable (Sum f g)Defined in witherable-0.5 · Witherable
(Filterable f, Filterable g) => Filterable (f :*: g)Defined in witherable-0.5 · Witherable
(Filterable f, Filterable g) => Filterable (f :+: g)Defined in witherable-0.5 · Witherable
Filterable f => Filterable (M1 i c f)Defined in witherable-0.5 · Witherable
(Functor f, Filterable g) => Filterable (Compose f g)Defined in witherable-0.5 · Witherable
(Functor f, Filterable g) => Filterable (f :.: g)Defined in witherable-0.5 · Witherable

classclass (FunctorWithIndex i t, Filterable t) => FilterableWithIndex i (t :: Type -> Type) | t -> i where

Methods

imapMaybe :: (i -> a -> Maybe b) -> t a -> t b
ifilter :: (i -> a -> Bool) -> t a -> t a

Instances16FilterableWithIndex, …

FilterableWithIndex Int IntMapDefined in witherable-0.5 · Witherable
FilterableWithIndex Int SeqDefined in witherable-0.5 · Witherable
FilterableWithIndex Int ZipListDefined in witherable-0.5 · Witherable
FilterableWithIndex Int VectorDefined in witherable-0.5 · Witherable
FilterableWithIndex Int []Defined in witherable-0.5 · Witherable
FilterableWithIndex () MaybeDefined in witherable-0.5 · Witherable
FilterableWithIndex Void ProxyDefined in witherable-0.5 · Witherable
FilterableWithIndex k (Map k)Defined in witherable-0.5 · Witherable
(Eq k, Hashable k) => FilterableWithIndex k (HashMap k)Defined in witherable-0.5 · Witherable
(FunctorWithIndex i f, FoldableWithIndex i f, Alternative f) => FilterableWithIndex i (WrappedFoldable f)Defined in witherable-0.5 · Witherable
FilterableWithIndex i f => FilterableWithIndex i (IdentityT f)Defined in witherable-0.5 · Witherable
FilterableWithIndex i t => FilterableWithIndex i (Backwards t)Defined in witherable-0.5 · Witherable
FilterableWithIndex i t => FilterableWithIndex i (Reverse t)Defined in witherable-0.5 · Witherable
(FilterableWithIndex i f, FilterableWithIndex j g) => FilterableWithIndex (Either i j) (Product f g)Defined in witherable-0.5 · Witherable
(FilterableWithIndex i f, FilterableWithIndex j g) => FilterableWithIndex (Either i j) (Sum f g)Defined in witherable-0.5 · Witherable
(FunctorWithIndex i f, FilterableWithIndex j g) => FilterableWithIndex (i, j) (Compose f g)Defined in witherable-0.5 · Witherable

classclass (Traversable t, Filterable t) => Witherable (t :: Type -> Type) where

Methods

wither :: Applicative f => (a -> f (Maybe b)) -> t a -> f (t b)
witherM :: Monad m => (a -> m (Maybe b)) -> t a -> m (t b)
filterA :: Applicative f => (a -> f Bool) -> t a -> f (t a)
witherMap :: Applicative m => (t b -> r) -> (a -> m (Maybe b)) -> t a -> m r

Instances27Witherable, …

Witherable IntMapDefined in witherable-0.5 · Witherable
Witherable SeqDefined in witherable-0.5 · Witherable
Witherable ZipListDefined in witherable-0.5 · Witherable
Witherable MaybeDefined in witherable-0.5 · Witherable
Witherable VectorDefined in witherable-0.5 · Witherable
Witherable []Defined in witherable-0.5 · Witherable
Monoid e => Witherable (Either e)Defined in witherable-0.5 · Witherable
Traversable t => Witherable (MaybeT t)Defined in witherable-0.5 · Witherable
Witherable ProxyDefined in witherable-0.5 · Witherable
Witherable U1Defined in witherable-0.5 · Witherable
Witherable V1Defined in witherable-0.5 · Witherable
Witherable (Map k)Defined in witherable-0.5 · Witherable
(Alternative f, Traversable f) => Witherable (WrappedFoldable f)Defined in witherable-0.5 · Witherable
(Eq k, Hashable k) => Witherable (HashMap k)Defined in witherable-0.5 · Witherable
Witherable (Const r)Defined in witherable-0.5 · Witherable
Witherable f => Witherable (Rec1 f)Defined in witherable-0.5 · Witherable
Witherable f => Witherable (IdentityT f)Defined in witherable-0.5 · Witherable
Witherable t => Witherable (Backwards t)Defined in witherable-0.5 · Witherable
Witherable t => Witherable (Reverse t)Defined in witherable-0.5 · Witherable
Witherable (K1 i c)Defined in witherable-0.5 · Witherable
(Witherable f, Witherable g) => Witherable (Product f g)Defined in witherable-0.5 · Witherable
(Witherable f, Witherable g) => Witherable (Sum f g)Defined in witherable-0.5 · Witherable
(Witherable f, Witherable g) => Witherable (f :*: g)Defined in witherable-0.5 · Witherable
(Witherable f, Witherable g) => Witherable (f :+: g)Defined in witherable-0.5 · Witherable
Witherable f => Witherable (M1 i c f)Defined in witherable-0.5 · Witherable
(Traversable f, Witherable g) => Witherable (Compose f g)Defined in witherable-0.5 · Witherable
(Traversable f, Witherable g) => Witherable (f :.: g)Defined in witherable-0.5 · Witherable

class

class (TraversableWithIndex i t, FilterableWithIndex i t, Witherable t) => WitherableWithIndex i (t :: Type -> Type) | t -> i where

Methods

iwither :: Applicative f => (i -> a -> f (Maybe b)) -> t a -> f (t b)
iwitherM :: Monad m => (i -> a -> m (Maybe b)) -> t a -> m (t b)
ifilterA :: Applicative f => (i -> a -> f Bool) -> t a -> f (t a)

Instances15WitherableWithIndex, …

WitherableWithIndex Int IntMapDefined in witherable-0.5 · Witherable
WitherableWithIndex Int SeqDefined in witherable-0.5 · Witherable
WitherableWithIndex Int ZipListDefined in witherable-0.5 · Witherable
WitherableWithIndex Int VectorDefined in witherable-0.5 · Witherable
WitherableWithIndex Int []Defined in witherable-0.5 · Witherable
WitherableWithIndex () MaybeDefined in witherable-0.5 · Witherable
WitherableWithIndex Void ProxyDefined in witherable-0.5 · Witherable
WitherableWithIndex k (Map k)Defined in witherable-0.5 · Witherable
(Eq k, Hashable k) => WitherableWithIndex k (HashMap k)Defined in witherable-0.5 · Witherable
WitherableWithIndex i f => WitherableWithIndex i (IdentityT f)Defined in witherable-0.5 · Witherable
WitherableWithIndex i t => WitherableWithIndex i (Backwards t)Defined in witherable-0.5 · Witherable
WitherableWithIndex i t => WitherableWithIndex i (Reverse t)Defined in witherable-0.5 · Witherable
(WitherableWithIndex i f, WitherableWithIndex j g) => WitherableWithIndex (Either i j) (Product f g)Defined in witherable-0.5 · Witherable
(WitherableWithIndex i f, WitherableWithIndex j g) => WitherableWithIndex (Either i j) (Sum f g)Defined in witherable-0.5 · Witherable
(TraversableWithIndex i f, WitherableWithIndex j g) => WitherableWithIndex (i, j) (Compose f g)Defined in witherable-0.5 · Witherable

newtypenewtype WrappedFoldable (f :: Type -> Type) a

Constructors

WrapFilterable
- unwrapFoldable :: f a

Instances11FoldableWithIndex, FunctorWithIndex, TraversableWithIndex, FilterableWithIndex, Functor, Applicative, …

FoldableWithIndex i f => FoldableWithIndex i (WrappedFoldable f)Defined in witherable-0.5 · Witherable
FunctorWithIndex i f => FunctorWithIndex i (WrappedFoldable f)Defined in witherable-0.5 · Witherable
TraversableWithIndex i f => TraversableWithIndex i (WrappedFoldable f)Defined in witherable-0.5 · Witherable
(FunctorWithIndex i f, FoldableWithIndex i f, Alternative f) => FilterableWithIndex i (WrappedFoldable f)Defined in witherable-0.5 · Witherable
Functor f => Functor (WrappedFoldable f)Defined in witherable-0.5 · Witherable
Applicative f => Applicative (WrappedFoldable f)Defined in witherable-0.5 · Witherable
Foldable f => Foldable (WrappedFoldable f)Defined in witherable-0.5 · Witherable
Traversable f => Traversable (WrappedFoldable f)Defined in witherable-0.5 · Witherable
Alternative f => Alternative (WrappedFoldable f)Defined in witherable-0.5 · Witherable
(Foldable f, Alternative f) => Filterable (WrappedFoldable f)Defined in witherable-0.5 · Witherable
(Alternative f, Traversable f) => Witherable (WrappedFoldable f)Defined in witherable-0.5 · Witherable