Seqaid.Ann

There are a few user-level annotations here, but mostly seqaid is a non-invasive tool, so it uses a separate seqaid.config file instead.

See Seqaid.Config for details about the seqaid.config file.

User annotations

These are the Seqaid annotations a user can use in their source.

data SeqaidAnnExclude

With blanket top-level bind harnessing, this is a means to exclude select binds from harness. The String argument need not (but may) be fully qualified.

Constructors

SeqaidAnnExclude String

Instances

Data SeqaidAnnExclude

Show SeqaidAnnExclude

Typeable * SeqaidAnnExclude

data SeqaidAnnManual

This was used for technical reasons, and is hopefully going to be deprecated very soon. At present, when you use seqaid (not a real function, so no link) to manually wrap an expression for harnessing, you must also give a SeqaidAnnManual annotation naming the bind you're editing.

Constructors

SeqaidAnnManual String

Instances

Data SeqaidAnnManual

Show SeqaidAnnManual

Typeable * SeqaidAnnManual

For internal use only

These annotations are for internal use. They communicate information between the TH and GHC plugin stages of seqaid.

data SeqaidAnnIncludeList

Constructors

SeqaidAnnIncludeList [String]

Instances

Data SeqaidAnnIncludeList

Show SeqaidAnnIncludeList

Typeable * SeqaidAnnIncludeList

data SeqaidAnnTypes

Constructors

SeqaidAnnTypes [String]

Instances

Data SeqaidAnnTypes

Show SeqaidAnnTypes

Typeable * SeqaidAnnTypes

data SeqaidAnnAvailableInstances

Constructors

SeqaidAnnAvailableInstances [String]

Instances

Data SeqaidAnnAvailableInstances

Show SeqaidAnnAvailableInstances

Typeable * SeqaidAnnAvailableInstances

data SeqaidAnnBindsIncluded

Constructors

SeqaidAnnBindsIncluded [String]

Instances

Data SeqaidAnnBindsIncluded

Show SeqaidAnnBindsIncluded

Typeable * SeqaidAnnBindsIncluded