Autotagical

Switch Light/Dark Mode

/Autotagical/Predicate/all.dhall

Copy path to clipboard

Predicate.all

Predicate

Given a nonempty list of predicates, evaluates to true if all of the predicates in the list evaluate to true; otherwise, evaluates to false.

Examples

Tags: tag1, tag2, tag3

Usage

let Autotagical = https://siriusstarr.github.io/autotagical/dhall/package.dhall

in  Autotagical.Predicate.all
      [ Autotagical.Predicate.hasTag (Autotagical.Tags.tag "tag1")
      , Autotagical.Predicate.hasTag (Autotagical.Tags.tag "tag2")
      ]

Source

let between =
        ../Internal/Predicate/between sha256:d9e26bcb027406f03cb1b0cefc0faadbaea36ddf516d6f0ed6bad7476ae27129
      ? ../Internal/Predicate/between

let Bound =
        ../Internal/Predicate/Bound sha256:5df84f4de5c95a2e6e0cadea46dd4fcf4a0345e2190fe034f064351ede3ec30d
      ? ../Internal/Predicate/Bound

let Predicate =
        ../Internal/Predicate/Type sha256:7bbd5275d9b92c0c5b1c7c0f05885b85796a14c4813d02aae7148a9d418deedf
      ? ../Internal/Predicate/Type

let all
    : List Predicate → Predicate
    = λ(predicates : List Predicate) →
        between Bound.AllPredicates Bound.AllPredicates predicates

in  all