Safe Haskell	Safe-Inferred
Language	Haskell2010

U.Codebase.Sqlite.Patch.TypeEdit

Documentation

type LocalTypeEdit = TypeEdit' LocalTextId LocalDefnId Source #

type TypeEdit = TypeEdit' TextId ObjectId Source #

type HashTypeEdit = TypeEdit' Text ComponentHash Source #

data TypeEdit' t h Source #

Constructors

Replace (Reference' t h)
Deprecate

Instances

Instances details

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

_Replace :: Prism (TypeEdit' t h) (TypeEdit' t' h') (Reference' t h) (Reference' t' h') Source #

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