Safe Haskell | None |
---|
Documentation
class (SingI (Capacity a), IvoryStruct (StructName a), IvoryArea a, a ~ Struct (StructName a)) => IvoryString a whereSource
stringDataL :: Label (StructName a) (Array (Capacity a) (Stored Uint8))Source
stringLengthL :: Label (StructName a) (Stored (Ix (Capacity a)))Source