Searched refs:asConcrete (Results 1 – 3 of 3) sorted by relevance
| /dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/what4-1.1/test/ |
| H A D | ExprsTest.hs | 60 return (asConcrete d, asConcrete m)
81 return (asConcrete nm, asConcrete mn)
89 return (asConcrete n_abs)
112 return (asConcrete y_lit, asConcrete divxy, asConcrete modxy, asConcrete x_lit)
138 return (asConcrete modxy, asConcrete modxNegy, asConcrete modxAbsy)
163 return (asConcrete divxNegy, asConcrete negdivxy)
181 asConcrete <$> bvIsNeg sym v
187 asConcrete <$> bvIsNeg sym v
195 asConcrete <$> bvIsNeg sym v
201 asConcrete <$> bvIsNeg sym v
[all …]
|
| H A D | IteExprs.hs | 84 return (asConcrete i, ConcreteBool e, desc itc, show c)
98 return (asConcrete i, ConcreteInteger e, desc itc, show c)
113 return (asConcrete i, ConcreteBV w e, desc itc, show c)
127 return (asConcrete i, ConcreteStruct e, desc itc, show c)
141 …return (asConcrete i, ConcreteArray (Ctx.Empty Ctx.:> BaseIntegerRepr) e M.empty, desc itc, show c)
|
| /dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/what4-1.1/src/What4/ |
| H A D | Interface.hs | 135 , asConcrete
2932 asConcrete :: IsExpr e => e tp -> Maybe (ConcreteVal tp)
2933 asConcrete x = function
2942 BaseStructRepr _ -> ConcreteStruct <$> (asStruct x >>= traverseFC asConcrete)
2945 c_def <- asConcrete def
|