unison-codebase-0.0.0
Safe HaskellSafe-Inferred
LanguageGHC2021

U.Codebase.TermEdit

Documentation

data TermEdit Source #

Constructors

Replace Referent Typing 
Deprecate 

Instances

Instances details
Show TermEdit Source # 
Instance details

Defined in U.Codebase.TermEdit

Methods

showsPrec :: Int -> TermEdit -> ShowS #

show :: TermEdit -> String #

showList :: [TermEdit] -> ShowS #

Eq TermEdit Source # 
Instance details

Defined in U.Codebase.TermEdit

Methods

(==) :: TermEdit -> TermEdit -> Bool #

(/=) :: TermEdit -> TermEdit -> Bool #

Ord TermEdit Source # 
Instance details

Defined in U.Codebase.TermEdit

Methods

compare :: TermEdit -> TermEdit -> Ordering #

(<) :: TermEdit -> TermEdit -> Bool #

(<=) :: TermEdit -> TermEdit -> Bool #

(>) :: TermEdit -> TermEdit -> Bool #

(>=) :: TermEdit -> TermEdit -> Bool #

max :: TermEdit -> TermEdit -> TermEdit #

min :: TermEdit -> TermEdit -> TermEdit #

data Typing Source #

Constructors

Same 
Subtype 
Different 

Instances

Instances details
Show Typing Source # 
Instance details

Defined in U.Codebase.TermEdit

Methods

showsPrec :: Int -> Typing -> ShowS #

show :: Typing -> String #

showList :: [Typing] -> ShowS #

Eq Typing Source # 
Instance details

Defined in U.Codebase.TermEdit

Methods

(==) :: Typing -> Typing -> Bool #

(/=) :: Typing -> Typing -> Bool #

Ord Typing Source # 
Instance details

Defined in U.Codebase.TermEdit

Methods

compare :: Typing -> Typing -> Ordering #

(<) :: Typing -> Typing -> Bool #

(<=) :: Typing -> Typing -> Bool #

(>) :: Typing -> Typing -> Bool #

(>=) :: Typing -> Typing -> Bool #

max :: Typing -> Typing -> Typing #

min :: Typing -> Typing -> Typing #