Hix.Managed.Data.Diff

Documentation

class PrettyDiffDetail a where

Methods

prettyDiffDetail :: a -> Maybe Doc

Instances

PrettyDiffDetail BoundsDiffDetail

Defined in Hix.Managed.Data.Diff

Methods

prettyDiffDetail :: BoundsDiffDetail -> Maybe Doc

PrettyDiffDetail ()

Defined in Hix.Managed.Data.Diff

Methods

prettyDiffDetail :: () -> Maybe Doc

data Diff d a

Constructors

DiffAdded a

DiffChanged

Fields

• original :: a
• new :: a
• detail :: d

Instances

Functor (Diff d)

Defined in Hix.Managed.Data.Diff

Methods

fmap :: (a -> b) -> Diff d a -> Diff d b

(<$) :: a -> Diff d b -> Diff d a

(Pretty a, PrettyDiffDetail d) => Pretty (Diff d a)

Defined in Hix.Managed.Data.Diff

Methods

pretty :: Diff d a -> Doc

prettyVersioned :: CabalSpecVersion -> Diff d a -> Doc

Generic (Diff d a)

Defined in Hix.Managed.Data.Diff

Associated Types

type Rep (Diff d a) :: Type -> Type

Methods

from :: Diff d a -> Rep (Diff d a) x

to :: Rep (Diff d a) x -> Diff d a

(Show a, Show d) => Show (Diff d a)

Defined in Hix.Managed.Data.Diff

Methods

showsPrec :: Int -> Diff d a -> ShowS

show :: Diff d a -> String

showList :: [Diff d a] -> ShowS

(Eq a, Eq d) => Eq (Diff d a)

Defined in Hix.Managed.Data.Diff

Methods

(==) :: Diff d a -> Diff d a -> Bool

(/=) :: Diff d a -> Diff d a -> Bool

type Rep (Diff d a)

Defined in Hix.Managed.Data.Diff

type Rep (Diff d a) = D1 ('MetaData "Diff" "Hix.Managed.Data.Diff" "hix-0.7.1-GF38grEMhDKjpxBMjWXGC" 'False) (C1 ('MetaCons "DiffAdded" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 a)) :+: C1 ('MetaCons "DiffChanged" 'PrefixI 'True) (S1 ('MetaSel ('Just "original") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 a) :*: (S1 ('MetaSel ('Just "new") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 a) :*: S1 ('MetaSel ('Just "detail") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 d))))

type VersionDiff = Diff () Version

newtype BoundsDiffDetail

Constructors

BoundsDiffDetail (These VersionDiff VersionDiff)

Instances

Generic BoundsDiffDetail

Defined in Hix.Managed.Data.Diff

Associated Types

type Rep BoundsDiffDetail :: Type -> Type

Methods

from :: BoundsDiffDetail -> Rep BoundsDiffDetail x

to :: Rep BoundsDiffDetail x -> BoundsDiffDetail

Show BoundsDiffDetail

Defined in Hix.Managed.Data.Diff

Methods

showsPrec :: Int -> BoundsDiffDetail -> ShowS

show :: BoundsDiffDetail -> String

showList :: [BoundsDiffDetail] -> ShowS

Eq BoundsDiffDetail

Defined in Hix.Managed.Data.Diff

Methods

(==) :: BoundsDiffDetail -> BoundsDiffDetail -> Bool

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

PrettyDiffDetail BoundsDiffDetail

Defined in Hix.Managed.Data.Diff

Methods

prettyDiffDetail :: BoundsDiffDetail -> Maybe Doc

type Rep BoundsDiffDetail

Defined in Hix.Managed.Data.Diff

type Rep BoundsDiffDetail = D1 ('MetaData "BoundsDiffDetail" "Hix.Managed.Data.Diff" "hix-0.7.1-GF38grEMhDKjpxBMjWXGC" 'True) (C1 ('MetaCons "BoundsDiffDetail" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (These VersionDiff VersionDiff))))

type BoundsDiff = Diff BoundsDiffDetail VersionBounds

data Change d a

Constructors

Changed (Diff d a)

Unchanged (Maybe a)

Instances

Functor (Change d)

Defined in Hix.Managed.Data.Diff

Methods

fmap :: (a -> b) -> Change d a -> Change d b

(<$) :: a -> Change d b -> Change d a

(Pretty a, PrettyDiffDetail d) => Pretty (Change d a)

Defined in Hix.Managed.Data.Diff

Methods

pretty :: Change d a -> Doc

prettyVersioned :: CabalSpecVersion -> Change d a -> Doc

Generic (Change d a)

Defined in Hix.Managed.Data.Diff

Associated Types

type Rep (Change d a) :: Type -> Type

Methods

from :: Change d a -> Rep (Change d a) x

to :: Rep (Change d a) x -> Change d a

(Show a, Show d) => Show (Change d a)

Defined in Hix.Managed.Data.Diff

Methods

showsPrec :: Int -> Change d a -> ShowS

show :: Change d a -> String

showList :: [Change d a] -> ShowS

(Eq a, Eq d) => Eq (Change d a)

Defined in Hix.Managed.Data.Diff

Methods

(==) :: Change d a -> Change d a -> Bool

(/=) :: Change d a -> Change d a -> Bool

type Rep (Change d a)

Defined in Hix.Managed.Data.Diff

type Rep (Change d a) = D1 ('MetaData "Change" "Hix.Managed.Data.Diff" "hix-0.7.1-GF38grEMhDKjpxBMjWXGC" 'False) (C1 ('MetaCons "Changed" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Diff d a))) :+: C1 ('MetaCons "Unchanged" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe a))))

type VersionChange = Change () Version

type BoundsChange = Change BoundsDiffDetail VersionBounds