typed-encoding-0.5.1.0: Type safe string transformations

Safe HaskellSafe
LanguageHaskell2010

Data.TypedEncoding.Combinators.Unsafe

Description

Basic unsafe operations on Enc

Synopsis

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