HERMIT.External

Externals

data External

type ExternalName

type ExternalHelp

externName

externDyn

externHelp

externTypeString

externTypeArgResString

splitFunTyArgs

toHelp

external

class Extern a

matchingExternals

Tags

data CmdTag

data TagE

class Tag a

(.&)

(.||)

notT

externTags

dictionaryOfTags

Boxes

data BiRewriteCoreBox

data CoreString

data CrumbBox

data IntBox

data IntListBox

data PathBox

data RewriteCoreBox

data RewriteCoreListBox

data RewriteCoreTCBox

data RewriteEqualityBox

data StringBox

data StringListBox

data TagBox

data TransformCoreCheckBox

data TransformCorePathBox

data TransformCoreStringBox

data TransformCoreTCCheckBox

data TransformCoreTCPathBox

data TransformCoreTCStringBox

data TransformEqualityStringBox