Safe Haskell	Safe-Inferred
Language	Haskell2010

Cooked.Skeleton.Label

Description

This module exposes the labels that can be used to stamp TxSkel with additional arbitrary pieces of information.

Synopsis

type LabelConstrs x = (PrettyCooked x, Show x, Typeable x, Eq x, Ord x)
data TxLabel where
- TxLabel :: LabelConstrs x => x -> TxLabel

Documentation

type LabelConstrs x = (PrettyCooked x, Show x, Typeable x, Eq x, Ord x) Source #

These are type constraints that must be satisfied by labels

data TxLabel where Source #

Labels are arbitrary information that can be added to skeleton. They are meant to be pretty-printed. The common use case we currently have is to tag skeletons that have been modified by tweaks and automated attacks.

Constructors

TxLabel :: LabelConstrs x => x -> TxLabel

Instances

Instances details

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