zm-0.3.2: Language independent, reproducible, absolute types

Safe HaskellNone
LanguageHaskell2010

ZM.Type.Array

Contents

Synopsis

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 # 
type Rep Bytes # 
type Rep Bytes = D1 * (MetaData "Bytes" "ZM.Type.Array" "zm-0.3.2-DK0oVBXPwQ17PBDoUmA50P" False) (C1 * (MetaCons "Bytes" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (PreAligned (Array Word8)))))

Orphan instances