Idris2Doc : Text.WebIDL.Codegen.Rules

Text.WebIDL.Codegen.Rules

(source)

Definitions

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

Visibility: export
domain : Env -> Domain -> Codegen CGDomain
Visibility: export