Safe Haskell	Safe-Inferred
Language	Haskell2010

Seminal.Options

Documentation

Constructors

Options
Fields search :: SearchMethod Tells when to stop searching traceTcCalls :: Bool If True, for each call to the typechecker, will print infor about it

Constructors

Eager	Stop when the bottom of the AST is reached
Lazy	Stop when a `Terminal` change is found

Instances details

Eq SearchMethod Source #
Instance details Defined in Seminal.Options Methods (==) :: SearchMethod -> SearchMethod -> Bool # (/=) :: SearchMethod -> SearchMethod -> Bool #