HERMIT.External

Externals

data External

type ExternalName

type ExternalHelp

externName

externDyn

externHelp

externTypeString

externTypeArgResString

type Dictionary

toDictionary

addToDictionary

toHelp

external

class Extern a

matchingExternals

Tags

data CmdTag

data TagE

class Tag a

(.&)

(.||)

notT

externTags

dictionaryOfTags

Boxes

data TagBox

data IntBox

data RewriteCoreBox

data RewriteCoreTCBox

data BiRewriteCoreBox

data TransformCoreStringBox

data TransformCoreTCStringBox

data TransformCoreCheckBox

data TransformCoreTCCheckBox

data TransformCorePathBox

data TransformCoreTCPathBox

data CoreString

data CoreBox

data CrumbBox

data PathBox

data StringBox

data StringListBox

data IntListBox

data RewriteCoreListBox