Skip to content

HORIZON HASKELL Docs lts/ghc-9.10.x248f8f02026-10-05Search names, modules, packages, or :: a typeCtrl K

GHC 9.10.3 · lts/ghc-9.10.x · 248f8f0 · 2026-10-05

ModuleAgda-2.7.0.1Haskell2010

Agda.Mimer.Options

4 types
5 values

PackageAgda-2.7.0.1
Exports9
LanguageHaskell2010
LicenceMIT

typetype MilliSeconds = Integer

datadata HintMode

Unqualified AllModules Module NoHints

Instances3Eq, Show, Pretty

Eq HintModeDefined in Agda-2.7.0.1 · Agda.Mimer.Options
Show HintModeDefined in Agda-2.7.0.1 · Agda.Mimer.Options
Pretty HintModeDefined in Agda-2.7.0.1 · 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.7.0.1 · 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.7.0.1 · Agda.Mimer.Options
Show TokenDefined in Agda-2.7.0.1 · Agda.Mimer.Options

valuereadTokens :: [String] -> [Token]