Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
data Ex1D (s :: Strength) Source #
Instances
Generic (Ex1D s) Source # | |
Show (Ex1D 'Strong) Source # | |
Show (Ex1D 'Weak) Source # | |
Strengthen (Ex1D 'Weak) (Ex1D 'Strong) Source # | |
Defined in Strongweak.Example strengthen :: Ex1D 'Weak -> Validation (NonEmpty StrengthenError) (Ex1D 'Strong) Source # | |
Weaken (Ex1D 'Strong) (Ex1D 'Weak) Source # | |
type Rep (Ex1D s) Source # | |
Defined in Strongweak.Example type Rep (Ex1D s) = D1 ('MetaData "Ex1D" "Strongweak.Example" "strongweak-0.1.0-inplace" 'False) (C1 ('MetaCons "Ex1C" 'PrefixI 'True) (S1 ('MetaSel ('Just "ex1f1") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (SW s Word8)) :*: S1 ('MetaSel ('Just "ex1f2") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (SW s (Refined (LessThan 100) Natural))))) |
data Ex2D (s :: Strength) Source #
Instances
Generic (Ex2D s) Source # | |
Show (Ex2D 'Strong) Source # | |
Show (Ex2D 'Weak) Source # | |
Strengthen (Ex2D 'Weak) (Ex2D 'Strong) Source # | |
Defined in Strongweak.Example strengthen :: Ex2D 'Weak -> Validation (NonEmpty StrengthenError) (Ex2D 'Strong) Source # | |
Weaken (Ex2D 'Strong) (Ex2D 'Weak) Source # | |
type Rep (Ex2D s) Source # | |
Defined in Strongweak.Example type Rep (Ex2D s) = D1 ('MetaData "Ex2D" "Strongweak.Example" "strongweak-0.1.0-inplace" 'False) (C1 ('MetaCons "Ex2C" 'PrefixI 'True) (S1 ('MetaSel ('Just "ex2f1") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Ex1D s)) :*: S1 ('MetaSel ('Just "ex2f2") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (SW s Word8)))) |