Safe Haskell	Safe-Inferred
Language	Haskell2010

Strongweak.Strengthen

Synopsis

class Strengthen w s | s -> w where
- strengthen :: w -> Validation (NonEmpty StrengthenError) s
strengthen' :: forall s w. Strengthen w s => w -> Validation (NonEmpty StrengthenError) s
data StrengthenError
- = StrengthenErrorBase String String String String
- | StrengthenErrorField String String String String Natural (Maybe String) Natural (Maybe String) (NonEmpty StrengthenError)
strengthenErrorPretty :: NonEmpty StrengthenError -> Doc a
strengthenErrorBase :: forall s w. (Typeable w, Show w, Typeable s) => w -> String -> Validation (NonEmpty StrengthenError) s
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 p, 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 #

strengthen' :: forall s w. Strengthen w s => w -> Validation (NonEmpty StrengthenError) s Source #

strengthen with reordered type variables for more convenient visible type application.

data StrengthenError Source #

Strengthen error data type. Don't use these constructors directly, use the existing helper functions.

Field indices are from 0 in the respective constructor. Field names are provided if present.

Constructors

StrengthenErrorBase
Fields String weak type String strong type String weak value String msg
StrengthenErrorField
Fields String weak datatype name String strong datatype name String weak constructor name String strong constructor name Natural weak field index (Maybe String) weak field name (if present) Natural strong field index (Maybe String) strong field name (if present) (NonEmpty StrengthenError) errors

Instances

Instances details

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

strengthenErrorPretty :: NonEmpty StrengthenError -> Doc a Source #

strengthenErrorBase :: forall s w. (Typeable w, Show w, Typeable s) => w -> String -> Validation (NonEmpty StrengthenError) s 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 #