Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
Encoder and Decoder for Unicode Characters encoded in UTF-8.
module Encoder : Interfaces.CHAR_ENCODER
module Decoder : Interfaces.CHAR_DECODER
A character decoder has some valid initial value init
. In order to decode a character bytes has to be pushed into the decoder by put
until the decoder is either complete (is_complete
) or has encoutered some decoding error (has_error
).