Safe Haskell	None
Language	GHC2021

Hix.Managed.Data.Mutation

Documentation

data DepMutation a Source #

Constructors

DepMutation
Fields package :: MutableDep retract :: Bool mutation :: a

Instances

Instances details

Pretty a => Pretty (DepMutation a) Source #

Instance details

Defined in Hix.Managed.Data.Mutation

Methods

pretty :: DepMutation a -> Doc #

prettyVersioned :: CabalSpecVersion -> DepMutation a -> Doc #

Generic (DepMutation a) Source #

Instance details

Defined in Hix.Managed.Data.Mutation

Associated Types

type Rep (DepMutation a)

Instance details

Defined in Hix.Managed.Data.Mutation

type Rep (DepMutation a) = D1 ('MetaData "DepMutation" "Hix.Managed.Data.Mutation" "hix-0.8.0-HgAAo9T3AqQBueO4fzYR2Q" '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))))

Methods

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

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

Show a => Show (DepMutation a) Source #

Instance details

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) Source #

Instance details

Defined in Hix.Managed.Data.Mutation

Methods

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

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

type Rep (DepMutation a) Source #

Instance details

Defined in Hix.Managed.Data.Mutation

type Rep (DepMutation a) = D1 ('MetaData "DepMutation" "Hix.Managed.Data.Mutation" "hix-0.8.0-HgAAo9T3AqQBueO4fzYR2Q" '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 Source #

Constructors

BuildMutation
Fields description :: Text solverState :: SolverState updateBound :: Version -> VersionBounds -> VersionBounds

Instances

Instances details

Generic BuildMutation Source #

Instance details

Defined in Hix.Managed.Data.Mutation

Associated Types

type Rep BuildMutation

Instance details

Defined in Hix.Managed.Data.Mutation

type Rep BuildMutation = D1 ('MetaData "BuildMutation" "Hix.Managed.Data.Mutation" "hix-0.8.0-HgAAo9T3AqQBueO4fzYR2Q" '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)))))

Methods

from :: BuildMutation -> Rep BuildMutation x #

to :: Rep BuildMutation x -> BuildMutation #

type Rep BuildMutation Source #

Instance details

Defined in Hix.Managed.Data.Mutation

type Rep BuildMutation = D1 ('MetaData "BuildMutation" "Hix.Managed.Data.Mutation" "hix-0.8.0-HgAAo9T3AqQBueO4fzYR2Q" '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 Source #

Constructors

MutationSuccess
Fields candidate :: MutableId changed :: Bool state :: MutationState revisions :: Set PackageId ext :: s
MutationKeep
MutationFailed

Instances

Instances details

Generic (MutationResult s) Source #

Instance details

Defined in Hix.Managed.Data.Mutation

Associated Types

type Rep (MutationResult s)

Instance details

Defined in Hix.Managed.Data.Mutation

type Rep (MutationResult s) = D1 ('MetaData "MutationResult" "Hix.Managed.Data.Mutation" "hix-0.8.0-HgAAo9T3AqQBueO4fzYR2Q" '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 "revisions") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Set PackageId)) :*: 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)))

Methods

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

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

Show s => Show (MutationResult s) Source #

Instance details

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) Source #

Instance details

Defined in Hix.Managed.Data.Mutation

Methods

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

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

type Rep (MutationResult s) Source #

Instance details

Defined in Hix.Managed.Data.Mutation

type Rep (MutationResult s) = D1 ('MetaData "MutationResult" "Hix.Managed.Data.Mutation" "hix-0.8.0-HgAAo9T3AqQBueO4fzYR2Q" '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 "revisions") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Set PackageId)) :*: 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 Source #

Constructors

FailedMutation
Fields package :: MutableDep mutation :: Text

Instances

Instances details

Pretty FailedMutation Source #

Instance details

Defined in Hix.Managed.Data.Mutation

Methods

pretty :: FailedMutation -> Doc #

prettyVersioned :: CabalSpecVersion -> FailedMutation -> Doc #

Generic FailedMutation Source #

Instance details

Defined in Hix.Managed.Data.Mutation

Associated Types

type Rep FailedMutation

Instance details

Defined in Hix.Managed.Data.Mutation

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

Methods

from :: FailedMutation -> Rep FailedMutation x #

to :: Rep FailedMutation x -> FailedMutation #

Show FailedMutation Source #

Instance details

Defined in Hix.Managed.Data.Mutation

Methods

showsPrec :: Int -> FailedMutation -> ShowS #

show :: FailedMutation -> String #

showList :: [FailedMutation] -> ShowS #

Eq FailedMutation Source #

Instance details

Defined in Hix.Managed.Data.Mutation

Methods

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

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

type Rep FailedMutation Source #

Instance details

Defined in Hix.Managed.Data.Mutation

type Rep FailedMutation = D1 ('MetaData "FailedMutation" "Hix.Managed.Data.Mutation" "hix-0.8.0-HgAAo9T3AqQBueO4fzYR2Q" '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 Source #