lib:parameterized-utils
Modules
- Data.Parameterized
- Data.Parameterized.All
- Data.Parameterized.Axiom
- Data.Parameterized.BoolRepr
- Data.Parameterized.Classes
- Data.Parameterized.ClassesC
- Data.Parameterized.Compose
- Data.Parameterized.Context
- Data.Parameterized.Context.Safe
- Data.Parameterized.Context.Unsafe
- Data.Parameterized.Ctx
- Data.Parameterized.Ctx.Proofs
- Data.Parameterized.DataKind
- Data.Parameterized.DecidableEq
- Data.Parameterized.Fin
- Data.Parameterized.FinMap
- Data.Parameterized.FinMap.Safe
- Data.Parameterized.FinMap.Unsafe
- Data.Parameterized.HashTable
- Data.Parameterized.List
- Data.Parameterized.Map
- Data.Parameterized.NatRepr
- Data.Parameterized.Nonce
- Data.Parameterized.Nonce.Transformers
- Data.Parameterized.Nonce.Unsafe
- Data.Parameterized.Pair
- Data.Parameterized.Peano
- Data.Parameterized.Some
- Data.Parameterized.SymbolRepr
- Data.Parameterized.TH.GADT
- Data.Parameterized.TraversableF
- Data.Parameterized.TraversableFC
- Data.Parameterized.TraversableFC.WithIndex
- Data.Parameterized.Utils.BinTree
- Data.Parameterized.Utils.Endian
- Data.Parameterized.Vector
- Data.Parameterized.WithRepr
Dependencies
- base lib:base >=4.10 && <5
- base-orphans lib:base-orphans >=0.8.2 && <0.10
- constraints lib:constraints >=0.10 && <0.15
- containers lib:containers >=0
- deepseq lib:deepseq >=0
- ghc-prim lib:ghc-prim >=0
- hashable lib:hashable >=1.2 && <1.6
- hashtables lib:hashtables >=1.2 && <1.5
- indexed-traversable lib:indexed-traversable >=0
- lens lib:lens >=4.16 && <5.4
- mtl lib:mtl >=0
- profunctors lib:profunctors >=5.6 && <5.7
- template-haskell lib:template-haskell >=0
- text lib:text >=0
- th-abstraction lib:th-abstraction >=0.4.2 && <0.8
- vector lib:vector >=0.12 && <0.14
Reverse dependencies
Direct only. Not exhaustive.
- bv-sized lib:bv-sized
- bv-sized test:bv-sized-tests
- bv-sized test:bv-tests
- cryptol lib:cryptol
- parameterized-utils test:parameterizedTests
- what4 exe:quickstart
- what4 lib:what4
- what4 test:adapter-test
- what4 test:bvdomain_tests
- what4 test:bvdomain_tests_hh
- what4 test:expr-builder-smtlib2
- what4 test:exprs_tests
- what4 test:iteexprs_tests
- what4 test:online-solver-test