typed-encoding-0.2.2.0: Type safe string transformations

Safe HaskellSafe
LanguageHaskell2010

Data.TypedEncoding.Internal.Types.Unsafe

Synopsis

Documentation

newtype Unsafe enc conf str Source #

Allows to operate within Enc. These are considered unsafe. keeping the same list of encodings

Constructors

Unsafe 

Fields

Instances
Monad (Unsafe enc ()) Source # 
Instance details

Defined in Data.TypedEncoding.Internal.Types.Unsafe

Methods

(>>=) :: Unsafe enc () a -> (a -> Unsafe enc () b) -> Unsafe enc () b #

(>>) :: Unsafe enc () a -> Unsafe enc () b -> Unsafe enc () b #

return :: a -> Unsafe enc () a #

fail :: String -> Unsafe enc () a #

Functor (Unsafe enc conf) Source # 
Instance details

Defined in Data.TypedEncoding.Internal.Types.Unsafe

Methods

fmap :: (a -> b) -> Unsafe enc conf a -> Unsafe enc conf b #

(<$) :: a -> Unsafe enc conf b -> Unsafe enc conf a #

Applicative (Unsafe enc ()) Source # 
Instance details

Defined in Data.TypedEncoding.Internal.Types.Unsafe

Methods

pure :: a -> Unsafe enc () a #

(<*>) :: Unsafe enc () (a -> b) -> Unsafe enc () a -> Unsafe enc () b #

liftA2 :: (a -> b -> c) -> Unsafe enc () a -> Unsafe enc () b -> Unsafe enc () c #

(*>) :: Unsafe enc () a -> Unsafe enc () b -> Unsafe enc () b #

(<*) :: Unsafe enc () a -> Unsafe enc () b -> Unsafe enc () a #

(Show conf, Show str) => Show (Unsafe enc conf str) Source # 
Instance details

Defined in Data.TypedEncoding.Internal.Types.Unsafe

Methods

showsPrec :: Int -> Unsafe enc conf str -> ShowS #

show :: Unsafe enc conf str -> String #

showList :: [Unsafe enc conf str] -> ShowS #

withUnsafe :: (Unsafe e c s1 -> Unsafe e c s2) -> Enc e c s1 -> Enc e c s2 Source #