cryptol-2.11.0: Cryptol: The Language of Cryptography

Safe Haskell	None
Language	Haskell2010

Cryptol.TypeCheck.Solver.Numeric

Synopsis

cryIsEqual :: Ctxt -> Type -> Type -> Solved
cryIsNotEqual :: Ctxt -> Type -> Type -> Solved
cryIsGeq :: Ctxt -> Type -> Type -> Solved
cryIsPrime :: Ctxt -> Type -> Solved
primeTable :: Integer :->: Bool

Documentation

cryIsEqual :: Ctxt -> Type -> Type -> Solved Source #

Try to solve t1 = t2

cryIsNotEqual :: Ctxt -> Type -> Type -> Solved Source #

Try to solve t1 /= t2

cryIsGeq :: Ctxt -> Type -> Type -> Solved Source #

Try to solve t1 >= t2

cryIsPrime :: Ctxt -> Type -> Solved Source #

primeTable :: Integer :->: Bool Source #