hermit-0.1.2.0: Haskell Equational Reasoning Model-to-Implementation Tunnel

Safe Haskell	None

Language.HERMIT.External

Contents

Synopsis

Externals

data External Source

An External is a Dynamic value with some associated meta-data (name, help string and tags).

type ExternalName = String Source

External names are just strings.

type ExternalHelp = [String]Source

Help information for Externals is stored as a list of strings, designed for multi-line displaying.

externName :: External -> ExternalName Source

Get the name of an External.

externFun :: External -> Dynamic Source

Get the Dynamic value stored in an External.

externHelp :: External -> ExternalHelp Source

Get the list of help Strings for an External.

toDictionary :: [External] -> Map ExternalName [Dynamic]Source

Build a Map from names to Dynamic values.

toHelp :: [External] -> Map ExternalName ExternalHelp Source

Build a Map from names to help information.

external :: Extern a => ExternalName -> a -> ExternalHelp -> External Source

The primitive way to build an External.

class Typeable (Box a) => Extern a whereSource

The class of things that can be made into Externals. To be an Extern there must exist an isomorphic Box type that is an instance of Typeable.

Associated Types

type Box a Source

An isomorphic wrapper.

Methods

box :: a -> Box aSource

Wrap a value in a Box.

unbox :: Box a -> aSource

Unwrap a value from a Box.

Instances

Extern Int
Extern String
Extern Name
Extern TagE
Extern MetaCommand
Extern QueryFun
Extern ShellEffect
Extern AstEffect
Extern ShellCommand
Extern (RewriteH Core)
(Typeable (Box (a -> b)), Extern a, Extern b) => Extern (a -> b)
Extern (TranslateH Core String)
Extern (TranslateH Core ())
Extern (TranslateH Core Path)

Tags

data CmdTag Source

Requirement: commands cannot have the same name as any CmdTag (or the help function will not find it). These should be user facing, because they give the user a way of sub-dividing our confusing array of commands.

Constructors

Shell	Shell command.
Eval	The arrow of evaluation (reduces a term).
KURE	`KURE` command.
Loop	Command may operate multiple times.
Deep	O(n)
Shallow	O(1)
Navigation	Uses `Path` or `Lens` to focus onto something.
Query	A question we ask.
Predicate	Something that passes or fails.
Introduce	Introduce something, like a new name.
Commute	It's all about the commute.
PreCondition	Operation has a precondition.
Debug	Commands to help debugging.
VersionControl	Version control.
Bash	Commands that are run by `bash`.
Context	a command that uses its context, like inline
TODO	TODO: check before the release.
Unimplemented	Something is not finished yet, do not use.
Experiment	Things we are trying out.

Instances

Bounded CmdTag
Enum CmdTag
Eq CmdTag
Read CmdTag
Show CmdTag
Tag CmdTag

data TagE Source

A data type of logical operations on tags.

Instances

Extern TagE
Tag TagE

class Tag a whereSource

Tags are meta-data that we add to Externals to make them sortable and searchable.

Methods

(.+) :: External -> a -> External Source

Add a Tag to an External.

remTag :: a -> External -> External Source

Remove a Tag from an External.

tagMatch :: a -> External -> Bool Source

Check if an External has the specified Tag.

Instances

Tag TagE
Tag CmdTag

(.&) :: (Tag a, Tag b) => a -> b -> TagE Source

An "and" on Tags.

(.||) :: (Tag a, Tag b) => a -> b -> TagE Source

An "or" on Tags.

notT :: Tag a => a -> TagE Source

A "not" on Tags.

externTags :: External -> [CmdTag]Source

List all the CmdTags associated with an External

dictionaryOfTags :: [(CmdTag, String)]Source

Lists all the tags paired with a short description of what they're about.

Boxes

Boxes are used by the Extern class.

data TagBox Source

Constructors

Instances

Typeable TagBox

data IntBox Source

Constructors

Instances

Typeable IntBox

data RewriteCoreBox Source

Constructors

RewriteCoreBox (RewriteH Core)

Instances

Typeable RewriteCoreBox

data TranslateCoreStringBox Source

Constructors

TranslateCoreStringBox (TranslateH Core String)

Instances

Typeable TranslateCoreStringBox

data TranslateCoreCheckBox Source

Constructors

TranslateCoreCheckBox (TranslateH Core ())

Instances

Typeable TranslateCoreCheckBox

data NameBox Source

Constructors

Instances

Typeable NameBox

data TranslateCorePathBox Source

Constructors

TranslateCorePathBox (TranslateH Core Path)

Instances

Typeable TranslateCorePathBox

data StringBox Source

Constructors

StringBox String

Instances

Typeable StringBox