| Safe Haskell | Safe |
|---|---|
| Language | Haskell2010 |
Data.TypedEncoding.Combinators.Unsafe
Description
Basic unsafe operations on Enc
Synopsis
- unsafeSetPayload :: conf -> str -> Enc enc conf str
- withUnsafeCoerce :: (s1 -> s2) -> Enc e1 c s1 -> Enc e2 c s2
- withUnsafeCoerceF :: forall e1 e2 f c s1 s2. Functor f => (s1 -> f s2) -> Enc e1 c s1 -> f (Enc e2 c s2)
- unsafeChangePayload :: (s1 -> s2) -> Enc e c s1 -> Enc e c s2
Documentation
unsafeSetPayload :: conf -> str -> Enc enc conf str Source #
Currently this is the recommended way of recreating encoding from trusted input, if avoiding cost of Data.TypedEncoding.Common.Types.Validation is needed.
Since: 0.1.0.0
withUnsafeCoerce :: (s1 -> s2) -> Enc e1 c s1 -> Enc e2 c s2 Source #
Since: 0.1.0.0
withUnsafeCoerceF :: forall e1 e2 f c s1 s2. Functor f => (s1 -> f s2) -> Enc e1 c s1 -> f (Enc e2 c s2) Source #
Since: 0.3.0.0
unsafeChangePayload :: (s1 -> s2) -> Enc e c s1 -> Enc e c s2 Source #
Since: 0.1.0.0