Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
class Weaken s w | s -> w where Source #
Any s
can be "weakened" into a w
.
For example, you may weaken a Word8
into a Natural
.
Note that we restrict strengthened types to having only one corresponding weak representation using functional dependencies.
Instances
Weaken Int16 Integer Source # | |
Weaken Int32 Integer Source # | |
Weaken Int64 Integer Source # | |
Weaken Int8 Integer Source # | |
Weaken Word16 Natural Source # | |
Weaken Word32 Natural Source # | |
Weaken Word64 Natural Source # | |
Weaken Word8 Natural Source # | |
Weaken (Ex1D 'Strong) (Ex1D 'Weak) Source # | |
Weaken (Ex2D 'Strong) (Ex2D 'Weak) Source # | |
Weaken (ExUnit 'Strong) (ExUnit 'Weak) Source # | |
Weaken (ExVoid 'Strong) (ExVoid 'Weak) Source # | |
Weaken s w => Weaken [s] [w] Source # | Weaken each element of a list |
Defined in Strongweak.Weaken | |
Weaken (Refined p a) a Source # | Strip the refinement from refined types. |
Defined in Strongweak.Weaken | |
Weaken (Vector n a) [a] Source # | Weaken sized vectors into plain lists. |
Defined in Strongweak.Weaken |