Safe Haskell	Safe-Inferred
Language	GHC2021

Hix.Managed.Data.Diff

Documentation

class PrettyDiffDetail a where Source #

Methods

prettyDiffDetail :: a -> Maybe Doc Source #

Instances

Instances details

PrettyDiffDetail BoundsDiffDetail Source #
Instance details Defined in Hix.Managed.Data.Diff Methods prettyDiffDetail :: BoundsDiffDetail -> Maybe Doc Source #
PrettyDiffDetail () Source #
Instance details Defined in Hix.Managed.Data.Diff Methods prettyDiffDetail :: () -> Maybe Doc Source #

data Diff d a Source #

Constructors

DiffAdded a
DiffChanged
Fields original :: a new :: a detail :: d

Instances

Instances details

Functor (Diff d) Source #
Instance details 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) Source #
Instance details Defined in Hix.Managed.Data.Diff Methods pretty :: Diff d a -> Doc # prettyVersioned :: CabalSpecVersion -> Diff d a -> Doc #
Generic (Diff d a) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details Defined in Hix.Managed.Data.Diff type Rep (Diff d a) = D1 ('MetaData "Diff" "Hix.Managed.Data.Diff" "hix-0.7.0-1RsI1H0rYs1Kacz9sjlUfZ" '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 Source #

newtype BoundsDiffDetail Source #

Constructors

BoundsDiffDetail (These VersionDiff VersionDiff)

Instances

Instances details

Generic BoundsDiffDetail Source #
Instance details 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 Source #
Instance details Defined in Hix.Managed.Data.Diff Methods showsPrec :: Int -> BoundsDiffDetail -> ShowS # show :: BoundsDiffDetail -> String # showList :: [BoundsDiffDetail] -> ShowS #
Eq BoundsDiffDetail Source #
Instance details Defined in Hix.Managed.Data.Diff Methods (==) :: BoundsDiffDetail -> BoundsDiffDetail -> Bool # (/=) :: BoundsDiffDetail -> BoundsDiffDetail -> Bool #
PrettyDiffDetail BoundsDiffDetail Source #
Instance details Defined in Hix.Managed.Data.Diff Methods prettyDiffDetail :: BoundsDiffDetail -> Maybe Doc Source #
type Rep BoundsDiffDetail Source #
Instance details Defined in Hix.Managed.Data.Diff type Rep BoundsDiffDetail = D1 ('MetaData "BoundsDiffDetail" "Hix.Managed.Data.Diff" "hix-0.7.0-1RsI1H0rYs1Kacz9sjlUfZ" 'True) (C1 ('MetaCons "BoundsDiffDetail" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (These VersionDiff VersionDiff))))

type BoundsDiff = Diff BoundsDiffDetail VersionBounds Source #

data Change d a Source #

Constructors

Changed (Diff d a)
Unchanged (Maybe a)

Instances

Instances details

Functor (Change d) Source #
Instance details 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) Source #
Instance details Defined in Hix.Managed.Data.Diff Methods pretty :: Change d a -> Doc # prettyVersioned :: CabalSpecVersion -> Change d a -> Doc #
Generic (Change d a) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details Defined in Hix.Managed.Data.Diff type Rep (Change d a) = D1 ('MetaData "Change" "Hix.Managed.Data.Diff" "hix-0.7.0-1RsI1H0rYs1Kacz9sjlUfZ" '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 Source #

type BoundsChange = Change BoundsDiffDetail VersionBounds Source #