Hix.Managed.Lower.Data.LowerMode

Documentation

data LowerMode

Constructors

LowerMode

Fields

• firstSuccess :: Bool
• noSuccess :: MutationResult SolverState

Instances

Generic LowerMode

Defined in Hix.Managed.Lower.Data.LowerMode

Associated Types

type Rep LowerMode :: Type -> Type

Methods

from :: LowerMode -> Rep LowerMode x

to :: Rep LowerMode x -> LowerMode

Show LowerMode

Defined in Hix.Managed.Lower.Data.LowerMode

Methods

showsPrec :: Int -> LowerMode -> ShowS

show :: LowerMode -> String

showList :: [LowerMode] -> ShowS

Eq LowerMode

Defined in Hix.Managed.Lower.Data.LowerMode

Methods

(==) :: LowerMode -> LowerMode -> Bool

(/=) :: LowerMode -> LowerMode -> Bool

type Rep LowerMode

Defined in Hix.Managed.Lower.Data.LowerMode

type Rep LowerMode = D1 ('MetaData "LowerMode" "Hix.Managed.Lower.Data.LowerMode" "hix-0.7.1-GF38grEMhDKjpxBMjWXGC" 'False) (C1 ('MetaCons "LowerMode" 'PrefixI 'True) (S1 ('MetaSel ('Just "firstSuccess") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Bool) :*: S1 ('MetaSel ('Just "noSuccess") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (MutationResult SolverState))))

lowerInitMode :: LowerMode

lowerOptimizeMode :: LowerMode

lowerStabilizeMode :: LowerMode