cryptol-2.11.0: Cryptol: The Language of Cryptography
Safe HaskellSafe-Inferred
LanguageHaskell2010

Cryptol.TypeCheck.Solver.Types

Documentation

data Ctxt Source #

Instances

Instances details
Semigroup Ctxt Source # 
Instance details

Defined in Cryptol.TypeCheck.Solver.Types

Methods

(<>) :: Ctxt -> Ctxt -> Ctxt #

sconcat :: NonEmpty Ctxt -> Ctxt #

stimes :: Integral b => b -> Ctxt -> Ctxt #

Monoid Ctxt Source # 
Instance details

Defined in Cryptol.TypeCheck.Solver.Types

Methods

mempty :: Ctxt #

mappend :: Ctxt -> Ctxt -> Ctxt #

mconcat :: [Ctxt] -> Ctxt #

data Solved Source #

Constructors

SolvedIf [Prop]

Solved, assuming the sub-goals.

Unsolved

We could not solve the goal.

Unsolvable

The goal can never be solved.

Instances

Instances details
Show Solved Source # 
Instance details

Defined in Cryptol.TypeCheck.Solver.Types

PP Solved Source # 
Instance details

Defined in Cryptol.TypeCheck.Solver.Types

Methods

ppPrec :: Int -> Solved -> Doc Source #

matchThen :: Maybe a -> (a -> Solved) -> Solved Source #