Hoogle Search

Within LTS Haskell 24.45 (ghc-9.10.3)

Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.

Exact lookup

1. FloatTypeMap :: forall (fpp :: FloatPrecision) . !FloatPrecisionRepr fpp -> TypeMap ('BaseFloatType fpp)

   what4	What4.Protocol.SMTWriter

   No documentation available.

2. FnArrayTypeMap :: forall (idxl :: Ctx BaseType) (idx :: BaseType) (tp1 :: BaseType) . !Assignment TypeMap (idxl ::> idx) -> TypeMap tp1 -> TypeMap ('BaseArrayType (idxl ::> idx) tp1)

   what4	What4.Protocol.SMTWriter

   No documentation available.

3. IntegerTypeMap :: TypeMap 'BaseIntegerType

   what4	What4.Protocol.SMTWriter

   No documentation available.

4. PrimArrayTypeMap :: forall (idxl :: Ctx BaseType) (idx :: BaseType) (tp1 :: BaseType) . !Assignment TypeMap (idxl ::> idx) -> !TypeMap tp1 -> TypeMap ('BaseArrayType (idxl ::> idx) tp1)

   what4	What4.Protocol.SMTWriter

   No documentation available.

5. RealTypeMap :: TypeMap 'BaseRealType

   what4	What4.Protocol.SMTWriter

   No documentation available.

6. StructTypeMap :: forall (idx :: Ctx BaseType) . !Assignment TypeMap idx -> TypeMap ('BaseStructType idx)

   what4	What4.Protocol.SMTWriter

   No documentation available.

7. data TypeMap (tp :: BaseType)

   what4	What4.Protocol.SMTWriter

   TypeMap defines how a given BaseType maps to an SMTLIB type. It is necessary as there may be several ways in which a base type can be encoded.

8. UnicodeTypeMap :: TypeMap ('BaseStringType Unicode)

   what4	What4.Protocol.SMTWriter

   No documentation available.

9. cacheLookupFnNameBimap :: WriterConn t h -> [SomeExprSymFn t] -> IO (Bimap (SomeExprSymFn t) Text)

   what4	What4.Protocol.SMTWriter

   Construct a function/name bimap. Each function is associated with its cached name if there is one, otherwise with its original name.

10. typeMap :: forall t h (tp :: BaseType) . WriterConn t h -> BaseTypeRepr tp -> Either BaseTypeError (TypeMap tp)

    what4	What4.Protocol.SMTWriter

    Given a solver connection and a base type repr, typeMap attempts to find the best encoding for a variable of that type supported by teh solver.

Page 1098 of many | Previous | Next