unison-parser-typechecker-0.0.0
Safe HaskellNone
LanguageHaskell2010

Unison.Codebase.BranchDiff

Documentation

data BranchDiff Source #

Constructors

BranchDiff 

Fields

Instances

Instances details
Generic BranchDiff Source # 
Instance details

Defined in Unison.Codebase.BranchDiff

Associated Types

type Rep BranchDiff 
Instance details

Defined in Unison.Codebase.BranchDiff

type Rep BranchDiff = D1 ('MetaData "BranchDiff" "Unison.Codebase.BranchDiff" "unison-parser-typechecker-0.0.0-9Dzq7Hdutm9Hkedg7C7TJ1" '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))))

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-9Dzq7Hdutm9Hkedg7C7TJ1" '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))))

data DiffSlice r Source #

Constructors

DiffSlice 

Fields

Instances

Instances details
Generic (DiffSlice r) Source # 
Instance details

Defined in Unison.Codebase.BranchDiff

Associated Types

type Rep (DiffSlice r) 
Instance details

Defined in Unison.Codebase.BranchDiff

type Rep (DiffSlice r) = D1 ('MetaData "DiffSlice" "Unison.Codebase.BranchDiff" "unison-parser-typechecker-0.0.0-9Dzq7Hdutm9Hkedg7C7TJ1" '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))))))

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-9Dzq7Hdutm9Hkedg7C7TJ1" '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))))))

diff0 :: forall (m :: Type -> Type). Branch0 m -> Branch0 m -> BranchDiff Source #

namespaceUpdates :: Ord r => DiffSlice r -> Map Name (Set r, Set r) Source #