Unison.Codebase.TermEdit
data TermEdit Source #
Constructors
Defined in Unison.Codebase.TermEdit
Methods
showsPrec :: Int -> TermEdit -> ShowS #
show :: TermEdit -> String #
showList :: [TermEdit] -> ShowS #
(==) :: TermEdit -> TermEdit -> Bool #
(/=) :: TermEdit -> TermEdit -> Bool #
compare :: TermEdit -> TermEdit -> Ordering #
(<) :: TermEdit -> TermEdit -> Bool #
(<=) :: TermEdit -> TermEdit -> Bool #
(>) :: TermEdit -> TermEdit -> Bool #
(>=) :: TermEdit -> TermEdit -> Bool #
max :: TermEdit -> TermEdit -> TermEdit #
min :: TermEdit -> TermEdit -> TermEdit #
references :: TermEdit -> [Reference] Source #
data Typing Source #
showsPrec :: Int -> Typing -> ShowS #
show :: Typing -> String #
showList :: [Typing] -> ShowS #
(==) :: Typing -> Typing -> Bool #
(/=) :: Typing -> Typing -> Bool #
compare :: Typing -> Typing -> Ordering #
(<) :: Typing -> Typing -> Bool #
(<=) :: Typing -> Typing -> Bool #
(>) :: Typing -> Typing -> Bool #
(>=) :: Typing -> Typing -> Bool #
max :: Typing -> Typing -> Typing #
min :: Typing -> Typing -> Typing #
toReference :: TermEdit -> Maybe Reference Source #
isTypePreserving :: TermEdit -> Bool Source #
isSame :: TermEdit -> Bool Source #