hix-0.8.0: Haskell/Nix development build tools
Safe HaskellNone
LanguageGHC2021

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

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) 
Instance details

Defined in Hix.Managed.Data.Diff

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

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.8.0-HgAAo9T3AqQBueO4fzYR2Q" '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 
Instance details

Defined in Hix.Managed.Data.Diff

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

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.8.0-HgAAo9T3AqQBueO4fzYR2Q" '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) 
Instance details

Defined in Hix.Managed.Data.Diff

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

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.8.0-HgAAo9T3AqQBueO4fzYR2Q" '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 #