bind-marshal-0.1: Data marshaling library that uses type level equations to optimize buffering.

Bind.Marshal.DataModel

Documentation

data DynamicModel Source

Constructors

DynamicModel 

Fields

action_seq :: ActionSeq
 

data ActionSeq Source

data ActionDesc Source

Constructors

DesAction Size 
SerAction Size 

data Model tModel Source

Constructors

Model 

Fields

dynamic_model :: DynamicModel
 

type family IsStaticModel model Source

module Bind.Marshal.DataModel.Base