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 CoreString

data CrumbBox

data IntBox

data IntListBox

data PathBox

data StringBox

data StringListBox

data TagBox

LCore Boxes

data TransformLCoreStringBox

data TransformLCoreUnitBox

data TransformLCorePathBox

data RewriteLCoreBox

data BiRewriteLCoreBox

data RewriteLCoreListBox

LCoreTC Boxes

data TransformLCoreTCStringBox

data TransformLCoreTCUnitBox

data TransformLCoreTCLCoreBox

data TransformLCoreTCPathBox

data RewriteLCoreTCBox

data BiRewriteLCoreTCBox

data RewriteLCoreTCListBox