Skip to content

HORIZON HASKELL Docs lts/ghc-9.14.x3e2d5682026-10-11Search names, modules, packages, or :: a typeCtrl K

GHC 9.14.1 · lts/ghc-9.14.x · 3e2d568 · 2026-10-11

ModuleAgda-2.8.0.2Haskell2010

Agda.Mimer.Options

4 types
5 values

PackageAgda-2.8.0.2
Exports9
LanguageHaskell2010
LicenceMIT

typetype MilliSeconds = Integer

datadata HintMode

Unqualified AllModules Module NoHints

Instances3Eq, Show, Pretty

Eq HintModeDefined in Agda-2.8.0.2 · Agda.Mimer.Options
Show HintModeDefined in Agda-2.8.0.2 · Agda.Mimer.Options
Pretty HintModeDefined in Agda-2.8.0.2 · Agda.Mimer.Options

datadata Options

Constructors

Options
- optTimeout :: MilliSeconds
- optHintMode :: HintMode
- optSkip :: Int
  Skip the first this many solutions
- optList :: Bool
  List solutions instead of filling the hole
- optExplicitHints :: [QName]

Instances1Show

Show OptionsDefined in Agda-2.8.0.2 · Agda.Mimer.Options

valueparseOptions :: InteractionId -> Range -> String -> TCM Options

valueparseTime :: String -> Int

valuehintExprToQName :: Expr -> Maybe QName

valuefirstOr :: a -> [a] -> a

datadata Token

Constructors

T String
M
U
C
L
S String
H String

Instances2Eq, Show

Eq TokenDefined in Agda-2.8.0.2 · Agda.Mimer.Options
Show TokenDefined in Agda-2.8.0.2 · Agda.Mimer.Options

valuereadTokens :: [String] -> [Token]