-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/


-- | Predicates
--   
--   A library for predicates
@package predicate
@version 0.0.2

module Data.Predicate
newtype PredicateT f a
PredicateT :: (a -> f Bool) -> PredicateT f a
type Predicate a = PredicateT Identity a
predicateT :: Iso (PredicateT f a) (PredicateT f' a') (a -> f Bool) (a' -> f' Bool)
predicate :: Iso (Predicate a) (Predicate a') (a -> Bool) (a' -> Bool)
predicate' :: MonadReader (a -> Bool) f => f (Predicate a)
(.&&.) :: Monad f => PredicateT f a -> PredicateT f a -> PredicateT f a
(.||.) :: Monad f => PredicateT f a -> PredicateT f a -> PredicateT f a
(.->.) :: Monad f => PredicateT f a -> PredicateT f a -> PredicateT f a
not :: Functor f => PredicateT f a -> PredicateT f a
and :: Getting All s Bool -> Predicate s
or :: Getting Any s Bool -> Predicate s
all :: Getting All s a -> Predicate a -> Predicate s
any :: Getting Any s a -> Predicate a -> Predicate s
equals :: Eq a => a -> Predicate a
notEquals :: Eq a => a -> Predicate a
elem :: Eq a => Getting Any s a -> a -> Predicate s
notElem :: Eq a => Getting All s a -> a -> Predicate s
isInfixOf :: (Applicative f, Eq a) => [a] -> PredicateT f [a]
isPrefixOf :: (Applicative f, Eq a) => [a] -> PredicateT f [a]
isSuffixOf :: (Applicative f, Eq a) => [a] -> PredicateT f [a]
isSubsequenceOf :: (Applicative f, Eq a) => [a] -> PredicateT f [a]
find :: (Monad f, Foldable t) => PredicateT f a -> t a -> f (Maybe a)
filter :: Applicative f => PredicateT f a -> [a] -> f [a]
null :: (Applicative f, Foldable t) => PredicateT f (t a)
takeWhile :: Monad f => PredicateT f a -> [a] -> f [a]
dropWhile :: Monad f => PredicateT f a -> [a] -> f [a]
instance Data.Functor.Contravariant.Contravariant (Data.Predicate.PredicateT f)
instance GHC.Base.Monad f => Data.Functor.Contravariant.Divisible.Divisible (Data.Predicate.PredicateT f)
instance GHC.Base.Monad f => Data.Functor.Contravariant.Divisible.Decidable (Data.Predicate.PredicateT f)
instance GHC.Base.Monad f => GHC.Base.Semigroup (Data.Predicate.PredicateT f a)
instance GHC.Base.Monad f => GHC.Base.Monoid (Data.Predicate.PredicateT f a)