Data.TypedEncoding.Common.Types.Unsafe

Unsafe ops inside encoding

Documentation

newtype Unsafe enc conf str

Allows to operate within Enc keeping the same list of encodings.

These are considered unsafe.

Since: 0.1.0.0

Constructors

Unsafe

Fields

• runUnsafe :: Enc enc conf str

Instances

Monad (Unsafe enc ())

Defined in Data.TypedEncoding.Common.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)

Defined in Data.TypedEncoding.Common.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 ())

Defined in Data.TypedEncoding.Common.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)

Defined in Data.TypedEncoding.Common.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

@since 0.1.0.