Ivory.Language.String

Documentation

class (ANat (Capacity a), IvoryStruct (StructName a), IvoryArea a, a ~ Struct (StructName a)) => IvoryString a where

Minimal complete definition

stringDataL, stringLengthL

Associated Types

type Capacity a :: Nat

Methods

stringDataL :: Label (StructName a) (Array (Capacity a) (Stored Uint8))

stringLengthL :: Label (StructName a) (Stored IxRep)