Data.Tuple.MTuple

Contents

• Tuples

Description

Synopsis

• class (Monad m, ITuple t) => MTuple var t m where
  • thawTuple :: t -> m (var t)
  • freezeTuple :: var t -> m t
• class MTuple var t m => MField1 var t m where
  • read1 :: var t -> m (Field1 t)
  • write1 :: var t -> Field1 t -> m ()
  • modify1 :: var t -> (Field1 t -> Field1 t) -> m ()
  • modify1' :: var t -> (Field1 t -> Field1 t) -> m ()
• class MField1 var t m => MField2 var t m where
  • read2 :: var t -> m (Field2 t)
  • write2 :: var t -> Field2 t -> m ()
  • modify2 :: var t -> (Field2 t -> Field2 t) -> m ()
  • modify2' :: var t -> (Field2 t -> Field2 t) -> m ()
• class MField2 var t m => MField3 var t m where
  • read3 :: var t -> m (Field3 t)
  • write3 :: var t -> Field3 t -> m ()
  • modify3 :: var t -> (Field3 t -> Field3 t) -> m ()
  • modify3' :: var t -> (Field3 t -> Field3 t) -> m ()
• class MField3 var t m => MField4 var t m where
  • read4 :: var t -> m (Field4 t)
  • write4 :: var t -> Field4 t -> m ()
  • modify4 :: var t -> (Field4 t -> Field4 t) -> m ()
  • modify4' :: var t -> (Field4 t -> Field4 t) -> m ()
• class MField4 var t m => MField5 var t m where
  • read5 :: var t -> m (Field5 t)
  • write5 :: var t -> Field5 t -> m ()
  • modify5 :: var t -> (Field5 t -> Field5 t) -> m ()
  • modify5' :: var t -> (Field5 t -> Field5 t) -> m ()
• class MField5 var t m => MField6 var t m where
  • read6 :: var t -> m (Field6 t)
  • write6 :: var t -> Field6 t -> m ()
  • modify6 :: var t -> (Field6 t -> Field6 t) -> m ()
  • modify6' :: var t -> (Field6 t -> Field6 t) -> m ()
• class MField6 var t m => MField7 var t m where
  • read7 :: var t -> m (Field7 t)
  • write7 :: var t -> Field7 t -> m ()
  • modify7 :: var t -> (Field7 t -> Field7 t) -> m ()
  • modify7' :: var t -> (Field7 t -> Field7 t) -> m ()
• class MField7 var t m => MField8 var t m where
  • read8 :: var t -> m (Field8 t)
  • write8 :: var t -> Field8 t -> m ()
  • modify8 :: var t -> (Field8 t -> Field8 t) -> m ()
  • modify8' :: var t -> (Field8 t -> Field8 t) -> m ()
• class MField8 var t m => MField9 var t m where
  • read9 :: var t -> m (Field9 t)
  • write9 :: var t -> Field9 t -> m ()
  • modify9 :: var t -> (Field9 t -> Field9 t) -> m ()
  • modify9' :: var t -> (Field9 t -> Field9 t) -> m ()

Tuples