Fadno.Xml.Codegen

Generate code using types emitted from XSD.

Codegen API

outputTypes :: EmitState -> Output ()

Output all types.

outputType :: Type -> Output ()

Codegen a type.

outputHeader :: String -> Output ()

Output pragmas, module, imports.

Monad

type Output a = ReaderT OutputEnv (StateT OutputState IO) a

Codegen monad.

data OutputState

Codegen state.

Constructors

OutputState

Fields

• _names :: Map String Name

names :: Iso' OutputState (Map String Name)

data OutputEnv

Codegen reader environment.

Constructors

OutputEnv

Fields

• _handle :: Handle

handle :: Iso' OutputEnv Handle

runOut :: OutputEnv -> OutputState -> Output a -> IO (a, OutputState)

Run output monad.

runOut' :: Handle -> Output a -> IO (a, OutputState)

Convenience runner.