ZM.Type.Array

Documentation

data Array a

An Array.

Array a  = A0
         | A1 a (Array a)
         | A2 a a (Array a)
         ...
         | A255 a ... (Array a)

Instances

Model a => Model (Array a)

Methods

envType :: Proxy * (Array a) -> State Env HType

data Bytes

A byte-aligned byte array

Instances

Generic Bytes

Associated Types

type Rep Bytes :: * -> *

Methods

from :: Bytes -> Rep Bytes x

to :: Rep Bytes x -> Bytes

Model Bytes

Methods

envType :: Proxy * Bytes -> State Env HType

type Rep Bytes

type Rep Bytes = D1 (MetaData "Bytes" "ZM.Type.Array" "zm-0.3.2-9EffK4RA8nV74pYjwjqtDn" False) (C1 (MetaCons "Bytes" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (PreAligned (Array Word8)))))

Orphan instances

Model Filler

Methods

envType :: Proxy * Filler -> State Env HType

Model a => Model (PreAligned a)

Methods

envType :: Proxy * (PreAligned a) -> State Env HType