CircuitNotation

Documentation

plugin :: Plugin

The plugin for circuit notation.

mkPlugin :: ExternalNames -> Plugin

Make a plugin with custom external names

thName :: Name -> RdrName

Get a ghc name from a TH name that's known to be unique.

data ExternalNames

Collection of names external to circuit-notation.

Constructors

ExternalNames

Fields

• circuitCon :: RdrName
• runCircuitName :: RdrName
• tagBundlePat :: RdrName
• tagName :: RdrName
• tagTName :: RdrName
• fwdBwdCon :: RdrName
• fwdAndBwdTypes :: Direction -> RdrName
• trivialBwd :: RdrName
• consPat :: RdrName

data Direction

Constructors

Fwd

Bwd

Instances

Show Direction

Defined in CircuitNotation

Methods

showsPrec :: Int -> Direction -> ShowS

show :: Direction -> String

showList :: [Direction] -> ShowS