Cryptol.TypeCheck.Solver.Types

data Ctxt Source #

Constructors

Fields

Defined in Cryptol.TypeCheck.Solver.Types

Methods

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

sconcat :: NonEmpty Ctxt -> Ctxt #

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

mempty :: Ctxt #

mappend :: Ctxt -> Ctxt -> Ctxt #

mconcat :: [Ctxt] -> Ctxt #

data Solved Source #

Solved, assuming the sub-goals.

We could not solve the goal.

The goal can never be solved.

showsPrec :: Int -> Solved -> ShowS #

show :: Solved -> String #

showList :: [Solved] -> ShowS #

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

elseTry :: Solved -> Solved -> Solved Source #

solveOpts :: [Solved] -> Solved Source #

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

guarded :: Bool -> Solved -> Solved Source #