Control.Monad.Unpack

Documentation

class Unpackable arg where

Associated Types

data UnpackedReaderT arg :: (* -> *) -> * -> *

Methods

runUnpackedReaderT :: UnpackedReaderT arg m a -> arg -> m a

unpackedReaderT :: (arg -> m a) -> UnpackedReaderT arg m a

Instances

Unpackable Bool

Unpackable Char

Unpackable Int

Unpackable Int8

Unpackable Int16

Unpackable Int32

Unpackable Int64

Unpackable Word

Unpackable Word8

Unpackable Word16

Unpackable Word32

Unpackable Word64

Unpackable ()

Unpackable ByteString

Unpackable ByteArray

Unpackable Addr

Unpackable (Ptr a0)

Unpackable (ForeignPtr a0)

Unpackable (Maybe a0)

Unpackable (MutableByteArray s0)

Unpackable (Array a0)

Unpackable (Vector a0)

Unpackable (Vector a0)

Unpackable (Vector a0)

Unpackable (Either a0 b0)

(Unpackable a0, Unpackable b0) => Unpackable (a0, b0)

Unpackable (MutableArray s0 a0)

Unpackable (MVector s0 a0)

Unpackable (MVector s0 a0)

Unpackable (MVector s0 a0)

(Unpackable a0, Unpackable b0, Unpackable c0) => Unpackable (a0, b0, c0)

(Unpackable a0, Unpackable b0, Unpackable c0, Unpackable d0) => Unpackable (a0, b0, c0, d0)

(Unpackable a0, Unpackable b0, Unpackable c0, Unpackable d0, Unpackable e0) => Unpackable (a0, b0, c0, d0, e0)

(Unpackable a0, Unpackable b0, Unpackable c0, Unpackable d0, Unpackable e0, Unpackable f0) => Unpackable (a0, b0, c0, d0, e0, f0)

(Unpackable a0, Unpackable b0, Unpackable c0, Unpackable d0, Unpackable e0, Unpackable f0, Unpackable g0) => Unpackable (a0, b0, c0, d0, e0, f0, g0)

(Unpackable a0, Unpackable b0, Unpackable c0, Unpackable d0, Unpackable e0, Unpackable f0, Unpackable g0, Unpackable h0) => Unpackable (a0, b0, c0, d0, e0, f0, g0, h0)

(Unpackable a0, Unpackable b0, Unpackable c0, Unpackable d0, Unpackable e0, Unpackable f0, Unpackable g0, Unpackable h0, Unpackable i0) => Unpackable (a0, b0, c0, d0, e0, f0, g0, h0, i0)

(Unpackable a0, Unpackable b0, Unpackable c0, Unpackable d0, Unpackable e0, Unpackable f0, Unpackable g0, Unpackable h0, Unpackable i0, Unpackable j0) => Unpackable (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0)

ask :: (Monad m, Unpackable arg) => UnpackedReaderT arg m arg

local :: (Monad m, Unpackable arg) => (arg -> arg) -> UnpackedReaderT arg m a -> UnpackedReaderT arg m a

type :~> arg = UnpackedReaderT arg Identity

unpack :: Unpackable arg => (arg -> a) -> arg :~> a

($~) :: Unpackable arg => (arg :~> a) -> arg -> a

unpack1Instance :: Name -> Q [Dec]

Unpack wrappers around primitive types, like Int.

unpackInstance :: Name -> Q [Dec]

Unpack complicated but single-constructor types.

noUnpackInstance :: Name -> Q [Dec]

Do no unpacking at all.