Hix.Managed.Data.Mutation

Documentation

data DepMutation a

Constructors

DepMutation

Fields

• package :: MutableDep
• retract :: Bool
• mutation :: a

Instances

Pretty a => Pretty (DepMutation a)

Defined in Hix.Managed.Data.Mutation

Methods

pretty :: DepMutation a -> Doc

prettyVersioned :: CabalSpecVersion -> DepMutation a -> Doc

Generic (DepMutation a)

Defined in Hix.Managed.Data.Mutation

Associated Types

type Rep (DepMutation a) :: Type -> Type

Methods

from :: DepMutation a -> Rep (DepMutation a) x

to :: Rep (DepMutation a) x -> DepMutation a

Show a => Show (DepMutation a)

Defined in Hix.Managed.Data.Mutation

Methods

showsPrec :: Int -> DepMutation a -> ShowS

show :: DepMutation a -> String

showList :: [DepMutation a] -> ShowS

Eq a => Eq (DepMutation a)

Defined in Hix.Managed.Data.Mutation

Methods

(==) :: DepMutation a -> DepMutation a -> Bool

(/=) :: DepMutation a -> DepMutation a -> Bool

type Rep (DepMutation a)

Defined in Hix.Managed.Data.Mutation

type Rep (DepMutation a) = D1 ('MetaData "DepMutation" "Hix.Managed.Data.Mutation" "hix-0.7.1-GF38grEMhDKjpxBMjWXGC" 'False) (C1 ('MetaCons "DepMutation" 'PrefixI 'True) (S1 ('MetaSel ('Just "package") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 MutableDep) :*: (S1 ('MetaSel ('Just "retract") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Bool) :*: S1 ('MetaSel ('Just "mutation") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 a))))

data BuildMutation

Constructors

BuildMutation

Fields

• description :: Text
• solverState :: SolverState
• updateBound :: Version -> VersionBounds -> VersionBounds

Instances

Generic BuildMutation

Defined in Hix.Managed.Data.Mutation

Associated Types

type Rep BuildMutation :: Type -> Type

Methods

from :: BuildMutation -> Rep BuildMutation x

to :: Rep BuildMutation x -> BuildMutation

type Rep BuildMutation

Defined in Hix.Managed.Data.Mutation

type Rep BuildMutation = D1 ('MetaData "BuildMutation" "Hix.Managed.Data.Mutation" "hix-0.7.1-GF38grEMhDKjpxBMjWXGC" 'False) (C1 ('MetaCons "BuildMutation" 'PrefixI 'True) (S1 ('MetaSel ('Just "description") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text) :*: (S1 ('MetaSel ('Just "solverState") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 SolverState) :*: S1 ('MetaSel ('Just "updateBound") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Version -> VersionBounds -> VersionBounds)))))

data MutationResult s

Constructors

MutationSuccess

Fields

• candidate :: MutableId
• changed :: Bool
• state :: MutationState
• ext :: s

MutationKeep

MutationFailed

Instances

Generic (MutationResult s)

Defined in Hix.Managed.Data.Mutation

Associated Types

type Rep (MutationResult s) :: Type -> Type

Methods

from :: MutationResult s -> Rep (MutationResult s) x

to :: Rep (MutationResult s) x -> MutationResult s

Show s => Show (MutationResult s)

Defined in Hix.Managed.Data.Mutation

Methods

showsPrec :: Int -> MutationResult s -> ShowS

show :: MutationResult s -> String

showList :: [MutationResult s] -> ShowS

Eq s => Eq (MutationResult s)

Defined in Hix.Managed.Data.Mutation

Methods

(==) :: MutationResult s -> MutationResult s -> Bool

(/=) :: MutationResult s -> MutationResult s -> Bool

type Rep (MutationResult s)

Defined in Hix.Managed.Data.Mutation

type Rep (MutationResult s) = D1 ('MetaData "MutationResult" "Hix.Managed.Data.Mutation" "hix-0.7.1-GF38grEMhDKjpxBMjWXGC" 'False) (C1 ('MetaCons "MutationSuccess" 'PrefixI 'True) ((S1 ('MetaSel ('Just "candidate") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 MutableId) :*: S1 ('MetaSel ('Just "changed") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Bool)) :*: (S1 ('MetaSel ('Just "state") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 MutationState) :*: S1 ('MetaSel ('Just "ext") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 s))) :+: (C1 ('MetaCons "MutationKeep" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "MutationFailed" 'PrefixI 'False) (U1 :: Type -> Type)))

data FailedMutation

Constructors

FailedMutation

Fields

• package :: MutableDep
• mutation :: Text

Instances

Pretty FailedMutation

Defined in Hix.Managed.Data.Mutation

Methods

pretty :: FailedMutation -> Doc

prettyVersioned :: CabalSpecVersion -> FailedMutation -> Doc

Generic FailedMutation

Defined in Hix.Managed.Data.Mutation

Associated Types

type Rep FailedMutation :: Type -> Type

Methods

from :: FailedMutation -> Rep FailedMutation x

to :: Rep FailedMutation x -> FailedMutation

Show FailedMutation

Defined in Hix.Managed.Data.Mutation

Methods

showsPrec :: Int -> FailedMutation -> ShowS

show :: FailedMutation -> String

showList :: [FailedMutation] -> ShowS

Eq FailedMutation

Defined in Hix.Managed.Data.Mutation

Methods

(==) :: FailedMutation -> FailedMutation -> Bool

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

type Rep FailedMutation

Defined in Hix.Managed.Data.Mutation

type Rep FailedMutation = D1 ('MetaData "FailedMutation" "Hix.Managed.Data.Mutation" "hix-0.7.1-GF38grEMhDKjpxBMjWXGC" 'False) (C1 ('MetaCons "FailedMutation" 'PrefixI 'True) (S1 ('MetaSel ('Just "package") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 MutableDep) :*: S1 ('MetaSel ('Just "mutation") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text)))

failedMutation :: Pretty a => DepMutation a -> FailedMutation