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