Data.Tuple.Fields.Unsafe

Documentation

data List a

Constructors

Nil

a :| (List a)

data MutableArray s a

Instances

Typeable2 MutableArray

Eq (MutableArray s a)

class Monad m => MonadPrim m where

Associated Types

type World m

Methods

prim :: (State# (World m) -> (#State# (World m), a#)) -> m a

Instances

MonadPrim IO

MonadPrim (ST s)

MonadPrim (ST s)

MonadPrim (Prim s)

data Prim s a

Instances

Monad (Prim s)

Functor (Prim s)

Applicative (Prim s)

MonadPrim (Prim s)

runPrim :: MonadPrim m => Prim (World m) a -> m a

class Fields a where

Associated Types

type ListRep a :: List *

Methods

size :: t a -> Int

readFields :: MutableArray s Any -> Int -> Prim s a

writeFields :: MutableArray s Any -> Int -> a -> Prim s ()

Instances

Fields ()

Fields (Identity a)

Fields (a, b)

Fields (a, b, c)

Fields (a, b, c, d)

Fields (a, b, c, d, e)

Fields (a, b, c, d, e, f)

Fields (a, b, c, d, e, f, g)

sizeOf :: Fields a => a -> Int

type Field1 a = Find N0 (ToList a)

type Field2 a = Find N1 (ToList a)

type Field3 a = Find N2 (ToList a)

type Field4 a = Find N3 (ToList a)

type Field5 a = Find N4 (ToList a)

type Field6 a = Find N5 (ToList a)

type Field7 a = Find N6 (ToList a)

type Field8 a = Find N7 (ToList a)

type Field9 a = Find N8 (ToList a)