Idris2Doc : Text.WebIDL.Codegen.Rules

Text.WebIDL.Codegen.Rules

(source)

Definitions

env : Nat->ListDomain->Env
  Calculate the environment from a list of domains.

Visibility: export
domain : Env->Domain->CodegenCGDomain
Visibility: export