package.dhall

{-|
The definition of the `TextBool` type, used to encode the Boolean values True/False as text,
and some related functions and helpers, including:

* the Boolean operators: `and`, `or`, `xor`, `not`;
* a conditionalL `ifThenElse`;
* utilities for mapping a predicate over a set of values: `any`, `all`, `exactlyOne`;
* helper functions for working with dependent types: `isTrue`, `isFalse`, `QED`.
-}
{ all =
      missing
        sha256:2730464a700e2650b2f78139847dc7e3159eb2c27098ed5288b35000b9150d61
    ? ./all.dhall
, and =
      missing
        sha256:9111f0c369bf305139fab5c0bcd373626009c00c5ffdaf8762e19c75dcf13792
    ? ./and.dhall
, any =
      missing
        sha256:4afa4db0d7ab21387f7fe2b56e16f159aff0afd4739e4cf1dbaebc3be7cb5b27
    ? ./any.dhall
, bool2TextBool =
      missing
        sha256:1be849e788bde277e367c3439ec2f2d1f53ab0df1b59d6b5019b1620d58e5057
    ? ./bool2TextBool.dhall
, exactlyOne =
      missing
        sha256:ba178a1044d6639ee795adb537873312ce0a5d6d565a2f890a5888565c449515
    ? ./exactlyOne.dhall
, false =
      missing
        sha256:c990252cf2441a503374aee2126c51d5bc7dc40fce0c2d5bb95afcf0e6e3c880
    ? ./false.dhall
, ifThenElse =
      missing
        sha256:31570fe15f1d0027ae922a2dce01f0e641301c72092d1750764ce8cf1d914e97
    ? ./ifThenElse.dhall
, isFalse =
      missing
        sha256:f6ee161dbe69940a3c09dd60f5946cb5fe6e216d5064811116bd87193d06b49d
    ? ./isFalse.dhall
, isTrue =
      missing
        sha256:16fc04e94ba9463ad527f6e83982c8d9c6f674046e1797d93de777847c837339
    ? ./isTrue.dhall
, not =
      missing
        sha256:cb09ed1bcee1bd18e8bfba89a6fd7bb08657115940b322f98c86daa80e066bc8
    ? ./not.dhall
, or =
      missing
        sha256:a496c89dbc9d7442d50cf29278496ae0b187a342d8965994658f3963623f0f2d
    ? ./or.dhall
, QED =
      missing
        sha256:ecf97ef7ad2bfa23579f9ca755e91cd12543a15b099c769003bab0524298e727
    ? ./QED.dhall
, TextBool =
      missing
        sha256:fa222e9b894b0a1b05a91e78290abaad53a37d69f66ad3cdb4eb8ff99d2b05c4
    ? ./TextBool.dhall
, true =
      missing
        sha256:098e2a4f266678afc95037a722ff69fa1c4d98c89928da1dc1b2dddb5d68a9a7
    ? ./true.dhall
, xor =
      missing
        sha256:b7271f3ca7c6991f67dd892f9dc7c1bcde1088fd0f8f41b3c7e24a530d717c15
    ? ./xor.dhall
}