Copyright | (c) 2014, Andrew G. Seniuk |
---|---|
License | BSD-style (see the file LICENSE) |
Maintainer | Andrew Seniuk <rasfar@gmail.com> |
Stability | provisional |
Portability | GHC (portable, though not usefully) |
Safe Haskell | Safe-Inferred |
Language | Haskell2010 |
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.
- data SeqaidAnnExclude = SeqaidAnnExclude String
- data SeqaidAnnManual = SeqaidAnnManual String
- data SeqaidAnnIncludeList = SeqaidAnnIncludeList [String]
- data SeqaidAnnTypes = SeqaidAnnTypes [String]
- data SeqaidAnnAvailableInstances = SeqaidAnnAvailableInstances [String]
- data SeqaidAnnBindsIncluded = SeqaidAnnBindsIncluded [String]
User annotations
These are the Seqaid annotations a user can use in their source.
data SeqaidAnnExclude Source
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.
data SeqaidAnnManual Source
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.
For internal use only
These annotations are for internal use. They communicate information between the TH and GHC plugin stages of seqaid.
data SeqaidAnnTypes Source