Safe Haskell	Safe-Inferred
Language	Haskell2010

Strongweak.Strengthen

Synopsis

class Strengthen w s | s -> w where
- strengthen :: w -> Validation (NonEmpty StrengthenError) s
data StrengthenError
- = StrengthenErrorBase String String String String
- | StrengthenErrorField String String String String String String StrengthenError
strengthenErrorBase :: forall s w. (Typeable w, Show w, Typeable s) => w -> String -> Validation (NonEmpty StrengthenError) s
strengthenErrorPretty :: NonEmpty StrengthenError -> Doc a
strengthenBounded :: forall b n. (Integral b, Bounded b, Show b, Typeable b, Integral n, Show n, Typeable n) => n -> Validation (NonEmpty StrengthenError) b

Documentation

class Strengthen w s | s -> w where Source #

Any w can be "strengthened" into an s by asserting some properties.

For example, you may strengthen some Natural n into a Word8 by asserting 0 <= n <= 255.

Note that we restrict strengthened types to having only one corresponding weak representation using functional dependencies.

Methods

strengthen :: w -> Validation (NonEmpty StrengthenError) s Source #

Instances

Instances details

Strengthen Integer Int16 Source #
Instance details Defined in Strongweak.Strengthen Methods strengthen :: Integer -> Validation (NonEmpty StrengthenError) Int16 Source #
Strengthen Integer Int32 Source #
Instance details Defined in Strongweak.Strengthen Methods strengthen :: Integer -> Validation (NonEmpty StrengthenError) Int32 Source #
Strengthen Integer Int64 Source #
Instance details Defined in Strongweak.Strengthen Methods strengthen :: Integer -> Validation (NonEmpty StrengthenError) Int64 Source #
Strengthen Integer Int8 Source #
Instance details Defined in Strongweak.Strengthen Methods strengthen :: Integer -> Validation (NonEmpty StrengthenError) Int8 Source #
Strengthen Natural Word16 Source #
Instance details Defined in Strongweak.Strengthen Methods strengthen :: Natural -> Validation (NonEmpty StrengthenError) Word16 Source #
Strengthen Natural Word32 Source #
Instance details Defined in Strongweak.Strengthen Methods strengthen :: Natural -> Validation (NonEmpty StrengthenError) Word32 Source #
Strengthen Natural Word64 Source #
Instance details Defined in Strongweak.Strengthen Methods strengthen :: Natural -> Validation (NonEmpty StrengthenError) Word64 Source #
Strengthen Natural Word8 Source #
Instance details Defined in Strongweak.Strengthen Methods strengthen :: Natural -> Validation (NonEmpty StrengthenError) Word8 Source #
(Predicate p a, Typeable a, Show a) => Strengthen a (Refined p a) Source #	Obtain a refined type by applying its associated refinement.
Instance details Defined in Strongweak.Strengthen Methods strengthen :: a -> Validation (NonEmpty StrengthenError) (Refined p a) Source #
Strengthen (Ex1D 'Weak) (Ex1D 'Strong) Source #
Instance details Defined in Strongweak.Example Methods strengthen :: Ex1D 'Weak -> Validation (NonEmpty StrengthenError) (Ex1D 'Strong) Source #
Strengthen (Ex2D 'Weak) (Ex2D 'Strong) Source #
Instance details Defined in Strongweak.Example Methods strengthen :: Ex2D 'Weak -> Validation (NonEmpty StrengthenError) (Ex2D 'Strong) Source #
Strengthen (ExUnit 'Weak) (ExUnit 'Strong) Source #
Instance details Defined in Strongweak.Example Methods strengthen :: ExUnit 'Weak -> Validation (NonEmpty StrengthenError) (ExUnit 'Strong) Source #
Strengthen (ExVoid 'Weak) (ExVoid 'Strong) Source #
Instance details Defined in Strongweak.Example Methods strengthen :: ExVoid 'Weak -> Validation (NonEmpty StrengthenError) (ExVoid 'Strong) Source #
Strengthen w s => Strengthen [w] [s] Source #	Strengthen each element of a list.
Instance details Defined in Strongweak.Strengthen Methods strengthen :: [w] -> Validation (NonEmpty StrengthenError) [s] Source #
(KnownNat n, Typeable a, Show a) => Strengthen [a] (Vector n a) Source #	Obtain a sized vector by asserting the size of a plain list.
Instance details Defined in Strongweak.Strengthen Methods strengthen :: [a] -> Validation (NonEmpty StrengthenError) (Vector n a) Source #

data StrengthenError Source #

Constructors

StrengthenErrorBase String String String String	weak type, strong type, weak value, msg
StrengthenErrorField String String String String String String StrengthenError	weak datatype name, strong datatype name, weak constructor name, strong constructor name, weak field name, strong field name, error

Instances

Instances details

Show StrengthenError Source #
Instance details Defined in Strongweak.Strengthen Methods showsPrec :: Int -> StrengthenError -> ShowS # show :: StrengthenError -> String # showList :: [StrengthenError] -> ShowS #
Pretty StrengthenError Source #
Instance details Defined in Strongweak.Strengthen Methods pretty :: StrengthenError -> Doc ann # prettyList :: [StrengthenError] -> Doc ann #

strengthenErrorBase :: forall s w. (Typeable w, Show w, Typeable s) => w -> String -> Validation (NonEmpty StrengthenError) s Source #

strengthenErrorPretty :: NonEmpty StrengthenError -> Doc a Source #

strengthenBounded :: forall b n. (Integral b, Bounded b, Show b, Typeable b, Integral n, Show n, Typeable n) => n -> Validation (NonEmpty StrengthenError) b Source #