Contents Index

CLI.Solvers

Documentation

class Solve cond => CLISolve prog cond where

Methods cliSolvers :: [CLISolver prog cond] Instances Solve cond => CLISolve prog cond

data CLISolveInterface prog

Constructors forall cond . (Boxable cond, CLISolve prog cond) => CLISolveInterface cond Instances Typeable cond => Typeable (CLISolveInterface prog)

data CLISolver prog cond

Constructors forall proof . (Boxable proof, Check cond proof) => CLISolver Doc (cond -> Action prog proof)

promoteSolvers :: [Solver cond] -> [CLISolver prog cond]

Produced by Haddock version 0.8