Data.Tuple.ST

Documentation

module Data.Tuple.MTuple

data STTuple s a

Instances

Typeable2 STTuple

(ITuple t, ArraySlice (Tuple (ListRep t))) => MField9 (STTuple s) t (ST s)

(ITuple t, ArraySlice (Tuple (ListRep t))) => MField9 (STTuple s) t (ST s)

(ITuple t, ArraySlice (Tuple (ListRep t))) => MField8 (STTuple s) t (ST s)

(ITuple t, ArraySlice (Tuple (ListRep t))) => MField8 (STTuple s) t (ST s)

(ITuple t, ArraySlice (Tuple (ListRep t))) => MField7 (STTuple s) t (ST s)

(ITuple t, ArraySlice (Tuple (ListRep t))) => MField7 (STTuple s) t (ST s)

(ITuple t, ArraySlice (Tuple (ListRep t))) => MField6 (STTuple s) t (ST s)

(ITuple t, ArraySlice (Tuple (ListRep t))) => MField6 (STTuple s) t (ST s)

(ITuple t, ArraySlice (Tuple (ListRep t))) => MField5 (STTuple s) t (ST s)

(ITuple t, ArraySlice (Tuple (ListRep t))) => MField5 (STTuple s) t (ST s)

(ITuple t, ArraySlice (Tuple (ListRep t))) => MField4 (STTuple s) t (ST s)

(ITuple t, ArraySlice (Tuple (ListRep t))) => MField4 (STTuple s) t (ST s)

(ITuple t, ArraySlice (Tuple (ListRep t))) => MField3 (STTuple s) t (ST s)

(ITuple t, ArraySlice (Tuple (ListRep t))) => MField3 (STTuple s) t (ST s)

(ITuple t, ArraySlice (Tuple (ListRep t))) => MField2 (STTuple s) t (ST s)

(ITuple t, ArraySlice (Tuple (ListRep t))) => MField2 (STTuple s) t (ST s)

(ITuple t, ArraySlice (Tuple (ListRep t))) => MField1 (STTuple s) t (ST s)

(ITuple t, ArraySlice (Tuple (ListRep t))) => MField1 (STTuple s) t (ST s)

(ITuple t, ArraySlice (Tuple (ListRep t))) => MTuple (STTuple s) t (ST s)

(ITuple t, ArraySlice (Tuple (ListRep t))) => MTuple (STTuple s) t (ST s)

Eq (STTuple s a)

class ArraySlice a

Instances

ArraySlice (Tuple xs) => ArraySlice (Tuple (:| * x xs))

ArraySlice (Tuple (Nil *))

data STUTuple s a

Instances

Typeable2 STUTuple

(ITuple t, ByteArraySlice (Tuple (ListRep t)), ByteArraySlice (Field1 t), ByteArraySlice (Field2 t), ByteArraySlice (Field3 t), ByteArraySlice (Field4 t), ByteArraySlice (Field5 t), ByteArraySlice (Field6 t), ByteArraySlice (Field7 t), ByteArraySlice (Field8 t), ByteArraySlice (Field9 t)) => MField9 (STUTuple s) t (ST s)

(ITuple t, ByteArraySlice (Tuple (ListRep t)), ByteArraySlice (Field1 t), ByteArraySlice (Field2 t), ByteArraySlice (Field3 t), ByteArraySlice (Field4 t), ByteArraySlice (Field5 t), ByteArraySlice (Field6 t), ByteArraySlice (Field7 t), ByteArraySlice (Field8 t), ByteArraySlice (Field9 t)) => MField9 (STUTuple s) t (ST s)

(ITuple t, ByteArraySlice (Tuple (ListRep t)), ByteArraySlice (Field1 t), ByteArraySlice (Field2 t), ByteArraySlice (Field3 t), ByteArraySlice (Field4 t), ByteArraySlice (Field5 t), ByteArraySlice (Field6 t), ByteArraySlice (Field7 t), ByteArraySlice (Field8 t)) => MField8 (STUTuple s) t (ST s)

(ITuple t, ByteArraySlice (Tuple (ListRep t)), ByteArraySlice (Field1 t), ByteArraySlice (Field2 t), ByteArraySlice (Field3 t), ByteArraySlice (Field4 t), ByteArraySlice (Field5 t), ByteArraySlice (Field6 t), ByteArraySlice (Field7 t), ByteArraySlice (Field8 t)) => MField8 (STUTuple s) t (ST s)

(ITuple t, ByteArraySlice (Tuple (ListRep t)), ByteArraySlice (Field1 t), ByteArraySlice (Field2 t), ByteArraySlice (Field3 t), ByteArraySlice (Field4 t), ByteArraySlice (Field5 t), ByteArraySlice (Field6 t), ByteArraySlice (Field7 t)) => MField7 (STUTuple s) t (ST s)

(ITuple t, ByteArraySlice (Tuple (ListRep t)), ByteArraySlice (Field1 t), ByteArraySlice (Field2 t), ByteArraySlice (Field3 t), ByteArraySlice (Field4 t), ByteArraySlice (Field5 t), ByteArraySlice (Field6 t), ByteArraySlice (Field7 t)) => MField7 (STUTuple s) t (ST s)

(ITuple t, ByteArraySlice (Tuple (ListRep t)), ByteArraySlice (Field1 t), ByteArraySlice (Field2 t), ByteArraySlice (Field3 t), ByteArraySlice (Field4 t), ByteArraySlice (Field5 t), ByteArraySlice (Field6 t)) => MField6 (STUTuple s) t (ST s)

(ITuple t, ByteArraySlice (Tuple (ListRep t)), ByteArraySlice (Field1 t), ByteArraySlice (Field2 t), ByteArraySlice (Field3 t), ByteArraySlice (Field4 t), ByteArraySlice (Field5 t), ByteArraySlice (Field6 t)) => MField6 (STUTuple s) t (ST s)

(ITuple t, ByteArraySlice (Tuple (ListRep t)), ByteArraySlice (Field1 t), ByteArraySlice (Field2 t), ByteArraySlice (Field3 t), ByteArraySlice (Field4 t), ByteArraySlice (Field5 t)) => MField5 (STUTuple s) t (ST s)

(ITuple t, ByteArraySlice (Tuple (ListRep t)), ByteArraySlice (Field1 t), ByteArraySlice (Field2 t), ByteArraySlice (Field3 t), ByteArraySlice (Field4 t), ByteArraySlice (Field5 t)) => MField5 (STUTuple s) t (ST s)

(ITuple t, ByteArraySlice (Tuple (ListRep t)), ByteArraySlice (Field1 t), ByteArraySlice (Field2 t), ByteArraySlice (Field3 t), ByteArraySlice (Field4 t)) => MField4 (STUTuple s) t (ST s)

(ITuple t, ByteArraySlice (Tuple (ListRep t)), ByteArraySlice (Field1 t), ByteArraySlice (Field2 t), ByteArraySlice (Field3 t), ByteArraySlice (Field4 t)) => MField4 (STUTuple s) t (ST s)

(ITuple t, ByteArraySlice (Tuple (ListRep t)), ByteArraySlice (Field1 t), ByteArraySlice (Field2 t), ByteArraySlice (Field3 t)) => MField3 (STUTuple s) t (ST s)

(ITuple t, ByteArraySlice (Tuple (ListRep t)), ByteArraySlice (Field1 t), ByteArraySlice (Field2 t), ByteArraySlice (Field3 t)) => MField3 (STUTuple s) t (ST s)

(ITuple t, ByteArraySlice (Tuple (ListRep t)), ByteArraySlice (Field1 t), ByteArraySlice (Field2 t)) => MField2 (STUTuple s) t (ST s)

(ITuple t, ByteArraySlice (Tuple (ListRep t)), ByteArraySlice (Field1 t), ByteArraySlice (Field2 t)) => MField2 (STUTuple s) t (ST s)

(ITuple t, ByteArraySlice (Tuple (ListRep t)), ByteArraySlice (Field1 t)) => MField1 (STUTuple s) t (ST s)

(ITuple t, ByteArraySlice (Tuple (ListRep t)), ByteArraySlice (Field1 t)) => MField1 (STUTuple s) t (ST s)

(ITuple t, ByteArraySlice (Tuple (ListRep t))) => MTuple (STUTuple s) t (ST s)

(ITuple t, ByteArraySlice (Tuple (ListRep t))) => MTuple (STUTuple s) t (ST s)

Eq (STUTuple s a)