• Home
• Search 
• Browse
• What's new
• Upload
• User accounts

Directory listing for biscuit-haskell-0.3.0.1 source tarball

biscuit-haskell-0.3.0.1/

• ChangeLog.md
• LICENSE
• README.md
• Setup.hs
• biscuit-haskell.cabal
• benchmarks/
  • Bench.hs
• src/
  • Auth/
    • Biscuit.hs
    • Biscuit/
      • Crypto.hs
      • Example.hs
      • Proto.hs
      • ProtoBufAdapter.hs
      • Symbols.hs
      • Timer.hs
      • Token.hs
      • Utils.hs
      • Datalog/
        • AST.hs
        • Executor.hs
        • Parser.hs
        • ScopedExecutor.hs
• test/
  • Spec.hs
  • Spec/
    • Executor.hs
    • NewCrypto.hs
    • Parser.hs
    • Quasiquoter.hs
    • Roundtrip.hs
    • SampleReader.hs
    • ScopedExecutor.hs
    • Verification.hs
  • samples/
    • current/
      • samples.json
      • test001_basic.bc
      • test002_different_root_key.bc
      • test003_invalid_signature_format.bc
      • test004_random_block.bc
      • test005_invalid_signature.bc
      • test006_reordered_blocks.bc
      • test007_scoped_rules.bc
      • test008_scoped_checks.bc
      • test009_expired_token.bc
      • test010_authorizer_scope.bc
      • test011_authorizer_authority_caveats.bc
      • test012_authority_caveats.bc
      • test013_block_rules.bc
      • test014_regex_constraint.bc
      • test015_multi_queries_caveats.bc
      • test016_caveat_head_name.bc
      • test017_expressions.bc
      • test018_unbound_variables_in_rule.bc
      • test019_generating_ambient_from_variables.bc
      • test020_sealed.bc
      • test021_parsing.bc
      • test022_default_symbols.bc
      • test023_execution_scope.bc
      • test024_third_party.bc
      • test025_check_all.bc
      • test026_public_keys_interning.bc
      • test027_integer_wraparound.bc