cryptol-2.8.0: Cryptol: The Language of Cryptography

Copyright(c) 2013-2016 Galois Inc.
LicenseBSD3
Maintainercryptol@galois.com
Stabilityprovisional
Portabilityportable
Safe HaskellNone
LanguageHaskell2010

Cryptol.Symbolic.Prims

Contents

Description

 
Synopsis

Documentation

traverseSnd :: Functor f => (a -> f b) -> (t, a) -> f (t, b) Source #

shifter :: Monad m => (SBool -> a -> a -> a) -> (a -> Integer -> m a) -> a -> [SBool] -> m a Source #

Barrel-shifter algorithm. Takes a list of bits in big-endian order.

wordValueEqualsInteger :: WordValue SBool SWord SInteger -> Integer -> Eval SBool Source #

Compare a symbolic word value with a concrete integer.

liftBin :: (a -> b -> c) -> a -> b -> Eval c Source #

sLg2 :: Integer -> SWord -> Eval SWord Source #

Ceiling (log_2 x)

svLg2 :: SInteger -> Eval SInteger Source #

Ceiling (log_2 x)

Orphan instances