Safe Haskell	Safe
Language	Haskell2010

Cryptol.TypeCheck.Solver.Types

Documentation

Constructors

SolverCtxt
Fields intervals :: Map TVar Interval saturatedAsmps :: Set Prop

Instances

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 #

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 Source #
Instance details Defined in Cryptol.TypeCheck.Solver.Types Methods showsPrec :: Int -> Solved -> ShowS # show :: Solved -> String # showList :: [Solved] -> ShowS #
PP Solved Source #
Instance details Defined in Cryptol.TypeCheck.Solver.Types Methods ppPrec :: Int -> Solved -> Doc Source #