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 #
(.&&.) :: 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 #
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 #