Cryptol.TypeCheck.Solver.Types

Documentation

type Ctxt = Map TVar Interval

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

Methods

showsPrec :: Int -> Solved -> ShowS

show :: Solved -> String

showList :: [Solved] -> ShowS

PP Solved

Methods

ppPrec :: Int -> Solved -> Doc

elseTry :: Solved -> Solved -> Solved

solveOpts :: [Solved] -> Solved

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

guarded :: Bool -> Solved -> Solved