Safe Haskell	None
Language	Haskell2010

Data.Patch.PatchOrReplacement

Description

Synopsis

data PatchOrReplacement p
- = PatchOrReplacement_Patch p
- | PatchOrReplacement_Replacement (PatchTarget p)
_PatchOrReplacement_Patch :: forall p. Prism' (PatchOrReplacement p) p
_PatchOrReplacement_Replacement :: forall p. Prism' (PatchOrReplacement p) (PatchTarget p)
traversePatchOrReplacement :: Functor f => (a -> f b) -> (PatchTarget a -> f (PatchTarget b)) -> PatchOrReplacement a -> f (PatchOrReplacement b)

Documentation

data PatchOrReplacement p Source #

Either a patch or a replacement value.

A good patch type will describe small changes very efficiently, but that often comes at the cost of describing large change rather inefficiently. PatchOrReplacement can be used as an escape hatch: when the change as a patch would be too big, just provide a new value to replace the old one with instead.

Since: 0.0.6

Constructors

PatchOrReplacement_Patch p
PatchOrReplacement_Replacement (PatchTarget p)

Instances

Instances details

(Eq p, Eq (PatchTarget p)) => Eq (PatchOrReplacement p) Source #
Instance details Defined in Data.Patch.PatchOrReplacement Methods (==) :: PatchOrReplacement p -> PatchOrReplacement p -> Bool # (/=) :: PatchOrReplacement p -> PatchOrReplacement p -> Bool #
(Ord p, Ord (PatchTarget p)) => Ord (PatchOrReplacement p) Source #
Instance details Defined in Data.Patch.PatchOrReplacement Methods compare :: PatchOrReplacement p -> PatchOrReplacement p -> Ordering # (<) :: PatchOrReplacement p -> PatchOrReplacement p -> Bool # (<=) :: PatchOrReplacement p -> PatchOrReplacement p -> Bool # (>) :: PatchOrReplacement p -> PatchOrReplacement p -> Bool # (>=) :: PatchOrReplacement p -> PatchOrReplacement p -> Bool # max :: PatchOrReplacement p -> PatchOrReplacement p -> PatchOrReplacement p # min :: PatchOrReplacement p -> PatchOrReplacement p -> PatchOrReplacement p #
(Read p, Read (PatchTarget p)) => Read (PatchOrReplacement p) Source #
Instance details Defined in Data.Patch.PatchOrReplacement Methods readsPrec :: Int -> ReadS (PatchOrReplacement p) # readList :: ReadS [PatchOrReplacement p] # readPrec :: ReadPrec (PatchOrReplacement p) # readListPrec :: ReadPrec [PatchOrReplacement p] #
(Show p, Show (PatchTarget p)) => Show (PatchOrReplacement p) Source #
Instance details Defined in Data.Patch.PatchOrReplacement Methods showsPrec :: Int -> PatchOrReplacement p -> ShowS # show :: PatchOrReplacement p -> String # showList :: [PatchOrReplacement p] -> ShowS #
Generic (PatchOrReplacement p) Source #
Instance details Defined in Data.Patch.PatchOrReplacement Associated Types type Rep (PatchOrReplacement p) :: Type -> Type # Methods from :: PatchOrReplacement p -> Rep (PatchOrReplacement p) x # to :: Rep (PatchOrReplacement p) x -> PatchOrReplacement p #
(Semigroup p, Patch p) => Semigroup (PatchOrReplacement p) Source #
Instance details Defined in Data.Patch.PatchOrReplacement Methods (<>) :: PatchOrReplacement p -> PatchOrReplacement p -> PatchOrReplacement p # sconcat :: NonEmpty (PatchOrReplacement p) -> PatchOrReplacement p # stimes :: Integral b => b -> PatchOrReplacement p -> PatchOrReplacement p #
(Monoid p, Patch p) => Monoid (PatchOrReplacement p) Source #
Instance details Defined in Data.Patch.PatchOrReplacement Methods mempty :: PatchOrReplacement p # mappend :: PatchOrReplacement p -> PatchOrReplacement p -> PatchOrReplacement p # mconcat :: [PatchOrReplacement p] -> PatchOrReplacement p #
Patch p => Patch (PatchOrReplacement p) Source #	To apply a `PatchOrReplacement p` apply the the underlying `p` or substitute the replacement `PatchTarget p`.
Instance details Defined in Data.Patch.PatchOrReplacement Associated Types type PatchTarget (PatchOrReplacement p) Source # Methods apply :: PatchOrReplacement p -> PatchTarget (PatchOrReplacement p) -> Maybe (PatchTarget (PatchOrReplacement p)) Source #
type Rep (PatchOrReplacement p) Source #
Instance details Defined in Data.Patch.PatchOrReplacement type Rep (PatchOrReplacement p) = D1 ('MetaData "PatchOrReplacement" "Data.Patch.PatchOrReplacement" "patch-0.0.7.0-5aJU2vRVNbML2H1FcytXgj" 'False) (C1 ('MetaCons "PatchOrReplacement_Patch" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 p)) :+: C1 ('MetaCons "PatchOrReplacement_Replacement" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PatchTarget p))))
type PatchTarget (PatchOrReplacement p) Source #
Instance details Defined in Data.Patch.PatchOrReplacement type PatchTarget (PatchOrReplacement p) = PatchTarget p

_PatchOrReplacement_Patch :: forall p. Prism' (PatchOrReplacement p) p Source #

_PatchOrReplacement_Replacement :: forall p. Prism' (PatchOrReplacement p) (PatchTarget p) Source #

traversePatchOrReplacement :: Functor f => (a -> f b) -> (PatchTarget a -> f (PatchTarget b)) -> PatchOrReplacement a -> f (PatchOrReplacement b) Source #

Traverse a PatchOrReplacement with a function for each case