Safe Haskell	Safe-Inferred
Language	Haskell2010

Cooked.Attack.DatumTampering

Contents

Tamper datum params
Tamper datum label
Tamper datum attack

Description

This module provides an attack that modifies the datums of a TxSkel.

Synopsis

data DatumTamperingParams a b f k is = DatumTamperingParams {
- dtpBranching :: Branching
- dtpOptic :: Optic' k is TxSkel TxSkelOutDatum
- dtpModification :: a -> f b
- dtpIndexPred :: Int -> Bool
}
allDatumTamperingParams :: forall a b f. Branching -> (a -> f b) -> DatumTamperingParams a b f A_Traversal '[]
overloadDatumTamperingParams :: forall k is. Branching -> Optic' k is TxSkel TxSkelOutDatum -> (Int -> Bool) -> DatumTamperingParams BuiltinData BuiltinData Maybe k is
newtype DatumTamperingLabel a = DatumTamperingLabel [a]
datumTamperingAttack :: forall a b f k is effs. (DatumConstrs a, Ord a, DatumConstrs b, Foldable f, Alternative f, Is k A_Traversal, Members '[NonDet, Tweak] effs) => DatumTamperingParams a b f k is -> Sem effs [a]

Tamper datum params

data DatumTamperingParams a b f k is Source #

Parameters of the tamper datum attack

Constructors

DatumTamperingParams
Fields dtpBranching :: Branching The branching policy to use when several datums are targeted dtpOptic :: Optic' k is TxSkel TxSkelOutDatum The optic to use to select eligible `TxSkelOutDatum` dtpModification :: a -> f b The modification to apply on targeted datums of type `a` dtpIndexPred :: Int -> Bool The selection function based on the targeted datums indexes

allDatumTamperingParams :: forall a b f. Branching -> (a -> f b) -> DatumTamperingParams a b f A_Traversal '[] Source #

A tamper datum params where all the datums are considered for targets

overloadDatumTamperingParams :: forall k is. Branching -> Optic' k is TxSkel TxSkelOutDatum -> (Int -> Bool) -> DatumTamperingParams BuiltinData BuiltinData Maybe k is Source #

A tamper datum params where the targeted datums are overloaded with dummy extra data I 42 at the end of their BuiltinData representation. This only works if the root data is either a Constr or a List.

Tamper datum label

newtype DatumTamperingLabel a Source #

A label added to a TxSkel on which a tweak tampering a datum has been applied. The label contains all the datum contents that have been modified, before the modification was applied.

Constructors

DatumTamperingLabel [a]

Instances

Instances details

Show a => Show (DatumTamperingLabel a) Source #
Instance details Defined in Cooked.Attack.DatumTampering Methods showsPrec :: Int -> DatumTamperingLabel a -> ShowS # show :: DatumTamperingLabel a -> String # showList :: [DatumTamperingLabel a] -> ShowS #
PrettyCooked a => PrettyCooked (DatumTamperingLabel a) Source #
Instance details Defined in Cooked.Attack.DatumTampering Methods prettyCookedOpt :: PrettyCookedOpts -> DatumTamperingLabel a -> DocCooked Source # prettyCooked :: DatumTamperingLabel a -> DocCooked Source #
Eq a => Eq (DatumTamperingLabel a) Source #
Instance details Defined in Cooked.Attack.DatumTampering Methods (==) :: DatumTamperingLabel a -> DatumTamperingLabel a -> Bool # (/=) :: DatumTamperingLabel a -> DatumTamperingLabel a -> Bool #
Ord a => Ord (DatumTamperingLabel a) Source #
Instance details Defined in Cooked.Attack.DatumTampering Methods compare :: DatumTamperingLabel a -> DatumTamperingLabel a -> Ordering # (<) :: DatumTamperingLabel a -> DatumTamperingLabel a -> Bool # (<=) :: DatumTamperingLabel a -> DatumTamperingLabel a -> Bool # (>) :: DatumTamperingLabel a -> DatumTamperingLabel a -> Bool # (>=) :: DatumTamperingLabel a -> DatumTamperingLabel a -> Bool # max :: DatumTamperingLabel a -> DatumTamperingLabel a -> DatumTamperingLabel a # min :: DatumTamperingLabel a -> DatumTamperingLabel a -> DatumTamperingLabel a #

Tamper datum attack

datumTamperingAttack :: forall a b f k is effs. (DatumConstrs a, Ord a, DatumConstrs b, Foldable f, Alternative f, Is k A_Traversal, Members '[NonDet, Tweak] effs) => DatumTamperingParams a b f k is -> Sem effs [a] Source #

Applies a modification to all datums of type a focused by a given optic. Returns the list of modified datums, as they were before being modified.