This module exposes a writable type WritableTuple
which is a simple
newtype wrapper around a tuple.
The idea is that, given a tuple (a, b)
, a
is the value you actually want
to save to the disk, and b
is some additional info that you don't want to
save, but that you need later, for example in a require
clause.
Documentation
newtype WritableTuple a b Source
WritableTuple | |
|
Typeable2 WritableTuple | |
(Eq a, Eq b) => Eq (WritableTuple a b) | |
(Ord a, Ord b) => Ord (WritableTuple a b) | |
(Show a, Show b) => Show (WritableTuple a b) | |
(Binary a, Binary b) => Binary (WritableTuple a b) | |
Writable a => Writable (WritableTuple a b) |
writableTupleFst :: WritableTuple a b -> aSource
writableTupleSnd :: WritableTuple a b -> bSource
writableTupleCompiler :: Compiler (a, b) (WritableTuple a b)Source