Safe Haskell	Safe
Language	Haskell2010

Data.TypedEncoding.Common.Types.Unsafe

Description

Unsafe ops inside encoding

Synopsis

Documentation

newtype Unsafe enc conf str Source #

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 ()) Source #
Instance details 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) Source #
Instance details 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 ()) Source #
Instance details 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) Source #
Instance details 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 Source #

@since 0.1.0.