Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
newtype PredicateT f a Source #
PredicateT (a -> f Bool) |
Instances
type Predicate a = PredicateT Identity a Source #
predicateT :: Iso (PredicateT f a) (PredicateT f' a') (a -> f Bool) (a' -> f' Bool) Source #
predicate' :: MonadReader (a -> Bool) f => f (Predicate a) Source #
purePredicate :: Applicative f => (a -> Bool) -> PredicateT f a Source #
true :: Applicative f => PredicateT f a Source #
false :: Applicative f => PredicateT f b Source #
(.&&.) :: Monad f => PredicateT f a -> PredicateT f a -> PredicateT f a Source #
(.||.) :: Monad f => PredicateT f a -> PredicateT f a -> PredicateT f a Source #
(.->.) :: Monad f => PredicateT f a -> PredicateT f a -> PredicateT f a Source #
not :: Functor f => PredicateT f a -> PredicateT f a Source #
and :: Applicative f => Getting All s Bool -> PredicateT f s Source #
or :: Applicative f => Getting Any s Bool -> PredicateT f s Source #
equals :: (Applicative f, Eq a) => a -> PredicateT f a Source #
notEquals :: (Applicative f, Eq a) => a -> PredicateT f a Source #
isInfixOf :: (Applicative f, Eq a) => [a] -> PredicateT f [a] Source #
isPrefixOf :: (Applicative f, Eq a) => [a] -> PredicateT f [a] Source #
isSuffixOf :: (Applicative f, Eq a) => [a] -> PredicateT f [a] Source #
isSubsequenceOf :: (Applicative f, Eq a) => [a] -> PredicateT f [a] Source #
filter :: Applicative f => PredicateT f a -> [a] -> f [a] Source #
null :: (Applicative f, Foldable t) => PredicateT f (t a) Source #
takeWhile :: Monad f => PredicateT f a -> [a] -> f [a] Source #
dropWhile :: Monad f => PredicateT f a -> [a] -> f [a] Source #