Safe Haskell	None
Language	Haskell2010

Data.Unlifted

Documentation

writeUnlifted# :: forall (a :: UnliftedType) s. MutableArrayArray# s -> Int# -> a -> State# s -> State# s Source #

readUnlifted# :: forall (a :: UnliftedType) s. MutableArrayArray# s -> Int# -> State# s -> (# State# s, a #) Source #

indexUnlifted# :: forall (a :: UnliftedType). ArrayArray# -> Int# -> a Source #

setUnlifted# :: forall (a :: UnliftedType) s. MutableArrayArray# s -> a -> State# s -> State# s Source #

newUnlifted# :: forall (a :: UnliftedType) s. Int# -> a -> State# s -> (# State# s, MutableArrayArray# s #) Source #

class Unlifted a where Source #

Associated Types

type Rep a :: UnliftedType Source #

Methods

to# :: a -> Rep a Source #

from# :: Rep a -> a Source #

defaultElem :: a Source #

Instances

Instances details

Unlifted (Array a) Source #

Instance details

Defined in Data.Array.FI

Associated Types

type Rep (Array a)
Instance details Defined in Data.Array.FI type Rep (Array a) = ByteArray#

Methods

to# :: Array a -> Rep (Array a) Source #

from# :: Rep (Array a) -> Array a Source #

defaultElem :: Array a Source #

Unlifted (Array a) Source #

Instance details

Defined in Data.Array.FM

Associated Types

type Rep (Array a)
Instance details Defined in Data.Array.FM type Rep (Array a) = MutableByteArray# RealWorld

Methods

to# :: Array a -> Rep (Array a) Source #

from# :: Rep (Array a) -> Array a Source #

defaultElem :: Array a Source #

Unlifted (Array a) Source #

Instance details

Defined in Data.Array.LI

Associated Types

type Rep (Array a)
Instance details Defined in Data.Array.LI type Rep (Array a) = Array# a

Methods

to# :: Array a -> Rep (Array a) Source #

from# :: Rep (Array a) -> Array a Source #

defaultElem :: Array a Source #

Unlifted (Array a) Source #

Instance details

Defined in Data.Array.LM

Associated Types

type Rep (Array a)
Instance details Defined in Data.Array.LM type Rep (Array a) = MutableArray# RealWorld a

Methods

to# :: Array a -> Rep (Array a) Source #

from# :: Rep (Array a) -> Array a Source #

defaultElem :: Array a Source #

Unlifted (Array a) Source #

Instance details

Defined in Data.Array.SI

Associated Types

type Rep (Array a)
Instance details Defined in Data.Array.SI type Rep (Array a) = SmallArray# a

Methods

to# :: Array a -> Rep (Array a) Source #

from# :: Rep (Array a) -> Array a Source #

defaultElem :: Array a Source #

Unlifted (Array a) Source #

Instance details

Defined in Data.Array.SM

Associated Types

type Rep (Array a)
Instance details Defined in Data.Array.SM type Rep (Array a) = SmallMutableArray# RealWorld a

Methods

to# :: Array a -> Rep (Array a) Source #

from# :: Rep (Array a) -> Array a Source #

defaultElem :: Array a Source #

Unlifted (Array a) Source #

Instance details

Defined in Data.Array.UI

Associated Types

type Rep (Array a)
Instance details Defined in Data.Array.UI type Rep (Array a) = ArrayArray#

Methods

to# :: Array a -> Rep (Array a) Source #

from# :: Rep (Array a) -> Array a Source #

defaultElem :: Array a Source #

Unlifted (Array a) Source #

Instance details

Defined in Data.Array.UM

Associated Types

type Rep (Array a)
Instance details Defined in Data.Array.UM type Rep (Array a) = MutableArrayArray# RealWorld

Methods

to# :: Array a -> Rep (Array a) Source #

from# :: Rep (Array a) -> Array a Source #

defaultElem :: Array a Source #

Flat a => Unlifted (Ref a) Source #

Instance details

Defined in Data.Ref.F

Associated Types

type Rep (Ref a)
Instance details Defined in Data.Ref.F type Rep (Ref a) = MutableByteArray# RealWorld

Methods

to# :: Ref a -> Rep (Ref a) Source #

from# :: Rep (Ref a) -> Ref a Source #

defaultElem :: Ref a Source #

Unlifted (Ref a) Source #

Instance details

Defined in Data.Ref.L

Associated Types

type Rep (Ref a)
Instance details Defined in Data.Ref.L type Rep (Ref a) = MutVar# RealWorld a

Methods

to# :: Ref a -> Rep (Ref a) Source #

from# :: Rep (Ref a) -> Ref a Source #

defaultElem :: Ref a Source #

Unlifted a => Unlifted (Ref a) Source #

Instance details

Defined in Data.Ref.U

Associated Types

type Rep (Ref a)
Instance details Defined in Data.Ref.U type Rep (Ref a) = MutableArrayArray# RealWorld

Methods

to# :: Ref a -> Rep (Ref a) Source #

from# :: Rep (Ref a) -> Ref a Source #

defaultElem :: Ref a Source #

(Flat a, Flat b) => Unlifted (Ref a b) Source #

Instance details

Defined in Data.Ref.FF

Associated Types

type Rep (Ref a b)
Instance details Defined in Data.Ref.FF type Rep (Ref a b) = MutableByteArray# RealWorld

Methods

to# :: Ref a b -> Rep (Ref a b) Source #

from# :: Rep (Ref a b) -> Ref a b Source #

defaultElem :: Ref a b Source #

(Unlifted a, Unlifted b) => Unlifted (Ref a b) Source #

Instance details

Defined in Data.Ref.UU

Associated Types

type Rep (Ref a b)
Instance details Defined in Data.Ref.UU type Rep (Ref a b) = MutableArrayArray# RealWorld

Methods

to# :: Ref a b -> Rep (Ref a b) Source #

from# :: Rep (Ref a b) -> Ref a b Source #

defaultElem :: Ref a b Source #

(Flat a, Flat b, Flat c) => Unlifted (Ref a b c) Source #

Instance details

Defined in Data.Ref.FFF

Associated Types

type Rep (Ref a b c)
Instance details Defined in Data.Ref.FFF type Rep (Ref a b c) = MutableByteArray# RealWorld

Methods

to# :: Ref a b c -> Rep (Ref a b c) Source #

from# :: Rep (Ref a b c) -> Ref a b c Source #

defaultElem :: Ref a b c Source #

(Unlifted a, Unlifted b) => Unlifted (Ref a b c) Source #

Instance details

Defined in Data.Ref.UUU

Associated Types

type Rep (Ref a b c)
Instance details Defined in Data.Ref.UUU type Rep (Ref a b c) = MutableArrayArray# RealWorld

Methods

to# :: Ref a b c -> Rep (Ref a b c) Source #

from# :: Rep (Ref a b c) -> Ref a b c Source #

defaultElem :: Ref a b c Source #