Safe Haskell	Safe-Inferred
Language	Haskell2010

Unison.Codebase.BranchDiff

Documentation

Constructors

Instances details

Show a => Show (DiffType a) Source #
Instance details Defined in Unison.Codebase.BranchDiff Methods showsPrec :: Int -> DiffType a -> ShowS # show :: DiffType a -> String # showList :: [DiffType a] -> ShowS #

Constructors

DiffSlice
Fields tallnamespaceUpdates :: Map Name (Set r, Set r) talladds :: Relation r Name tallremoves :: Relation r Name trenames :: Map r (Set Name, Set Name)

Instances details

Generic (DiffSlice r) Source #
Instance details Defined in Unison.Codebase.BranchDiff Associated Types type Rep (DiffSlice r) :: Type -> Type # Methods from :: DiffSlice r -> Rep (DiffSlice r) x # to :: Rep (DiffSlice r) x -> DiffSlice r #
Show r => Show (DiffSlice r) Source #
Instance details Defined in Unison.Codebase.BranchDiff Methods showsPrec :: Int -> DiffSlice r -> ShowS # show :: DiffSlice r -> String # showList :: [DiffSlice r] -> ShowS #
type Rep (DiffSlice r) Source #
Instance details Defined in Unison.Codebase.BranchDiff type Rep (DiffSlice r) = D1 ('MetaData "DiffSlice" "Unison.Codebase.BranchDiff" "unison-parser-typechecker-0.0.0-JliU30UQmMa2dDW5SxUdL" 'False) (C1 ('MetaCons "DiffSlice" 'PrefixI 'True) ((S1 ('MetaSel ('Just "tallnamespaceUpdates") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map Name (Set r, Set r))) :: S1 ('MetaSel ('Just "talladds") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Relation r Name))) :: (S1 ('MetaSel ('Just "tallremoves") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Relation r Name)) :*: S1 ('MetaSel ('Just "trenames") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map r (Set Name, Set Name))))))

Constructors

BranchDiff
Fields termsDiff :: DiffSlice Referent typesDiff :: DiffSlice Reference patchesDiff :: Map Name (DiffType PatchDiff)

Instances details

Generic BranchDiff Source #
Instance details Defined in Unison.Codebase.BranchDiff Associated Types type Rep BranchDiff :: Type -> Type # Methods from :: BranchDiff -> Rep BranchDiff x # to :: Rep BranchDiff x -> BranchDiff #
Show BranchDiff Source #
Instance details Defined in Unison.Codebase.BranchDiff Methods showsPrec :: Int -> BranchDiff -> ShowS # show :: BranchDiff -> String # showList :: [BranchDiff] -> ShowS #
type Rep BranchDiff Source #
Instance details Defined in Unison.Codebase.BranchDiff type Rep BranchDiff = D1 ('MetaData "BranchDiff" "Unison.Codebase.BranchDiff" "unison-parser-typechecker-0.0.0-JliU30UQmMa2dDW5SxUdL" 'False) (C1 ('MetaCons "BranchDiff" 'PrefixI 'True) (S1 ('MetaSel ('Just "termsDiff") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (DiffSlice Referent)) :: (S1 ('MetaSel ('Just "typesDiff") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (DiffSlice Reference)) :: S1 ('MetaSel ('Just "patchesDiff") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map Name (DiffType PatchDiff))))))