Cryptol.TypeCheck.Solver.Types

Documentation

data Ctxt

Constructors

SolverCtxt

Fields

• intervals :: Map TVar Interval
• saturatedAsmps :: Set Prop

Instances

Semigroup Ctxt

Defined in Cryptol.TypeCheck.Solver.Types

Methods

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

sconcat :: NonEmpty Ctxt -> Ctxt

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

Monoid Ctxt

Defined in Cryptol.TypeCheck.Solver.Types

Methods

mempty :: Ctxt

mappend :: Ctxt -> Ctxt -> Ctxt

mconcat :: [Ctxt] -> Ctxt

data Solved

Constructors

SolvedIf [Prop]

Solved, assuming the sub-goals.

Unsolved

We could not solve the goal.

Unsolvable TCErrorMessage

The goal can never be solved.

Instances

Show Solved

Defined in Cryptol.TypeCheck.Solver.Types

Methods

showsPrec :: Int -> Solved -> ShowS

show :: Solved -> String

showList :: [Solved] -> ShowS

PP Solved

Defined in Cryptol.TypeCheck.Solver.Types

Methods

ppPrec :: Int -> Solved -> Doc

elseTry :: Solved -> Solved -> Solved

solveOpts :: [Solved] -> Solved

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

guarded :: Bool -> Solved -> Solved