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 #