Copyright | (c) 2013-2015 Galois, Inc. |
---|---|
License | BSD3 |
Maintainer | cryptol@galois.com |
Stability | provisional |
Portability | portable |
Safe Haskell | None |
Language | Haskell98 |
- traverseSnd :: Functor f => (a -> f b) -> (t, a) -> f (t, b)
- evalECon :: ECon -> Value
- selectV :: (Integer -> Value) -> Value -> Value
- replicateV :: Integer -> Value -> Value
- nth :: a -> [a] -> Int -> a
- nthV :: Value -> Value -> Integer -> Value
- mapV :: Bool -> (Value -> Value) -> Value -> Value
- catV :: Value -> Value -> Value
- dropV :: Integer -> Value -> Value
- takeV :: Integer -> Value -> Value
- ecDemoteV :: Value
- data TypeVal
- toTypeVal :: TValue -> TypeVal
- type Binary = TValue -> Value -> Value -> Value
- type Unary = TValue -> Value -> Value
- arithBinary :: (SWord -> SWord -> SWord) -> Binary
- arithUnary :: (SWord -> SWord) -> Unary
- sExp :: SWord -> SWord -> SWord
- sLg2 :: SWord -> SWord
- cmpValue :: (SBool -> SBool -> a -> a) -> (SWord -> SWord -> a -> a) -> Value -> Value -> a -> a
- cmpEq :: SWord -> SWord -> SBool -> SBool
- cmpNotEq :: SWord -> SWord -> SBool -> SBool
- cmpLt :: SWord -> SWord -> SBool -> SBool
- cmpGt :: SWord -> SWord -> SBool -> SBool
- cmpLtEq :: SWord -> SWord -> SBool -> SBool
- cmpGtEq :: SWord -> SWord -> SBool -> SBool
- cmpBinary :: (SBool -> SBool -> SBool -> SBool) -> (SWord -> SWord -> SBool -> SBool) -> SBool -> Binary
- errorV :: String -> TValue -> Value
- zeroV :: TValue -> Value
- joinV :: TValue -> TValue -> TValue -> Value -> Value
- ecSplitV :: Value
- infChunksOf :: Integer -> [a] -> [[a]]
- finChunksOf :: Integer -> Integer -> [a] -> [[a]]
- logicBinary :: (SBool -> SBool -> SBool) -> (SWord -> SWord -> SWord) -> Binary
- logicUnary :: (SBool -> SBool) -> (SWord -> SWord) -> Unary
- fromThenV :: Value
- fromToV :: Value
- fromThenToV :: Value
- addPoly :: [SBool] -> [SBool] -> [SBool]
- ites :: SBool -> [SBool] -> [SBool] -> [SBool]
- degree :: [SBool] -> Int
- mdp :: [SBool] -> [SBool] -> ([SBool], [SBool])
- idx :: [SBool] -> Int -> SBool
- divx :: Int -> Int -> [SBool] -> [SBool] -> ([SBool], [SBool])
Documentation
traverseSnd :: Functor f => (a -> f b) -> (t, a) -> f (t, b) Source
replicateV :: Integer -> Value -> Value Source
Make a numeric constant. { val, bits } (fin val, fin bits, bits >= width val) => [bits]
An easy-to-use alternative representation for type TValue
.
arithBinary :: (SWord -> SWord -> SWord) -> Binary Source
Models functions of type `{a} (Arith a) => a -> a -> a`
arithUnary :: (SWord -> SWord) -> Unary Source
Models functions of type `{a} (Arith a) => a -> a`
cmpValue :: (SBool -> SBool -> a -> a) -> (SWord -> SWord -> a -> a) -> Value -> Value -> a -> a Source
cmpBinary :: (SBool -> SBool -> SBool -> SBool) -> (SWord -> SWord -> SBool -> SBool) -> SBool -> Binary Source
joinV :: TValue -> TValue -> TValue -> Value -> Value Source
Join a sequence of sequences into a single sequence.
infChunksOf :: Integer -> [a] -> [[a]] Source
Split into infinitely many chunks
finChunksOf :: Integer -> Integer -> [a] -> [[a]] Source
Split into finitely many chunks