| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Strongweak
Synopsis
- module Strongweak.Weaken
- module Strongweak.Strengthen
- restrengthen :: forall w s. (Weaken s w, Strengthen w s) => s -> Validation (NonEmpty StrengthenError) s
- module Strongweak.SW
Documentation
module Strongweak.Weaken
module Strongweak.Strengthen
restrengthen :: forall w s. (Weaken s w, Strengthen w s) => s -> Validation (NonEmpty StrengthenError) s Source #
Weaken and re-strengthen a strong value.
In correct operation, restrengthen === Right. If your value was
strengthened incorrectly, or perhaps you cheated via UnsafeStrengthen, this
may not be the case. For example:
>>>restrengthen $ unsafeStrengthen' @(Vector 2 Natural) [0]Failure ...
module Strongweak.SW