Safe Haskell | Safe-Infered |
---|

A module containing a box datatype representing a compiled item. This item can be of any type, given that a few restrictions hold:

- data CompiledItem = forall a . (Binary a, Typeable a, Writable a) => CompiledItem a
- compiledItem :: (Binary a, Typeable a, Writable a) => a -> CompiledItem
- unCompiledItem :: (Binary a, Typeable a, Writable a) => CompiledItem -> a

# Documentation

data CompiledItem Source

Box type for a compiled item

forall a . (Binary a, Typeable a, Writable a) => CompiledItem a |

compiledItem :: (Binary a, Typeable a, Writable a) => a -> CompiledItemSource

Box a value into a `CompiledItem`

unCompiledItem :: (Binary a, Typeable a, Writable a) => CompiledItem -> aSource

Unbox a value from a `CompiledItem`