Vectorise.Type.PADict
Documentation
Arguments
| :: TyCon | tycon of the type being vectorised. |
| -> TyCon | tycon of the type used for the vectorised representation. |
| -> TyCon | |
| -> SumRepr | representation used for the type being vectorised. |
| -> VM Var | name of the top-level dictionary function. |
Build the PA dictionary for some type and hoist it to top level. The PA dictionary holds fns that convert values to and from their vectorised representations.