Idris2Doc : Network.URL.Internal.Predicate

Network.URL.Internal.Predicate

(source)
Definitions
Predicate : Type -> Type
  Totality: total
  Visibility: public export
anyPass : List (Predicate a) -> a -> Bool
  Totality: total
  Visibility: public export
allPass : List (Predicate a) -> a -> Bool
  Totality: total
  Visibility: public export