Safe Haskell	Safe-Inferred
Language	Haskell2010

U.Codebase.Sqlite.Patch.TermEdit

Documentation

type TermEdit = TermEdit' TextId ObjectId Source #

type HashTermEdit = TermEdit' Text ComponentHash Source #

type LocalTermEdit = TermEdit' LocalTextId LocalDefnId Source #

type Referent' t h = Referent' (Reference' t h) (Reference' t h) Source #

data TermEdit' t h Source #

Constructors

Replace (Referent' t h) Typing
Deprecate

Instances

Instances details

Bifoldable TermEdit' Source #
Instance details Defined in U.Codebase.Sqlite.Patch.TermEdit Methods bifold :: Monoid m => TermEdit' m m -> m # bifoldMap :: Monoid m => (a -> m) -> (b -> m) -> TermEdit' a b -> m # bifoldr :: (a -> c -> c) -> (b -> c -> c) -> c -> TermEdit' a b -> c # bifoldl :: (c -> a -> c) -> (c -> b -> c) -> c -> TermEdit' a b -> c #
Bifunctor TermEdit' Source #
Instance details Defined in U.Codebase.Sqlite.Patch.TermEdit Methods bimap :: (a -> b) -> (c -> d) -> TermEdit' a c -> TermEdit' b d # first :: (a -> b) -> TermEdit' a c -> TermEdit' b c # second :: (b -> c) -> TermEdit' a b -> TermEdit' a c #
Bitraversable TermEdit' Source #
Instance details Defined in U.Codebase.Sqlite.Patch.TermEdit Methods bitraverse :: Applicative f => (a -> f c) -> (b -> f d) -> TermEdit' a b -> f (TermEdit' c d) #
Functor (TermEdit' t) Source #
Instance details Defined in U.Codebase.Sqlite.Patch.TermEdit Methods fmap :: (a -> b) -> TermEdit' t a -> TermEdit' t b # (<$) :: a -> TermEdit' t b -> TermEdit' t a #
(Show t, Show h) => Show (TermEdit' t h) Source #
Instance details Defined in U.Codebase.Sqlite.Patch.TermEdit Methods showsPrec :: Int -> TermEdit' t h -> ShowS # show :: TermEdit' t h -> String # showList :: [TermEdit' t h] -> ShowS #
(Eq t, Eq h) => Eq (TermEdit' t h) Source #
Instance details Defined in U.Codebase.Sqlite.Patch.TermEdit Methods (==) :: TermEdit' t h -> TermEdit' t h -> Bool # (/=) :: TermEdit' t h -> TermEdit' t h -> Bool #
(Ord t, Ord h) => Ord (TermEdit' t h) Source #
Instance details Defined in U.Codebase.Sqlite.Patch.TermEdit Methods compare :: TermEdit' t h -> TermEdit' t h -> Ordering # (<) :: TermEdit' t h -> TermEdit' t h -> Bool # (<=) :: TermEdit' t h -> TermEdit' t h -> Bool # (>) :: TermEdit' t h -> TermEdit' t h -> Bool # (>=) :: TermEdit' t h -> TermEdit' t h -> Bool # max :: TermEdit' t h -> TermEdit' t h -> TermEdit' t h # min :: TermEdit' t h -> TermEdit' t h -> TermEdit' t h #

_Replace :: Prism (TermEdit' t h) (TermEdit' t' h') (Referent' t h, Typing) (Referent' t' h', Typing) Source #

h_ :: Traversal (TermEdit' t h) (TermEdit' t h') h h' Source #

data Typing Source #

Constructors

Same
Subtype
Different

Instances

Instances details

Show Typing Source #
Instance details Defined in U.Codebase.Sqlite.Patch.TermEdit Methods showsPrec :: Int -> Typing -> ShowS # show :: Typing -> String # showList :: [Typing] -> ShowS #
Eq Typing Source #
Instance details Defined in U.Codebase.Sqlite.Patch.TermEdit Methods (==) :: Typing -> Typing -> Bool # (/=) :: Typing -> Typing -> Bool #
Ord Typing Source #
Instance details Defined in U.Codebase.Sqlite.Patch.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 #