Copyright	(c) Edward Kmett 2011
License	BSD3
Maintainer	Edward Kmett <ekmett@gmail.com>
Stability	experimental
Portability	non-portable (DeriveDataTypeable)
Safe Haskell	None
Language	Haskell2010

Ermine.Syntax.Global

Contents

Globals
Fixity
Combinators

Description

Synopsis

Globals

data Global Source

A Global is a full qualified top level name.

NB: You should construct these with global and only use the constructor for pattern matching.

Constructors

Global !ByteString !Fixity !ModuleName !Text

Instances

Eq Global
Data Global
Ord Global
Read Global
Show Global
Generic Global
Binary Global
Hashable Global
Digestable Global
Serial Global
HasName Global
HasModuleName Global
HasGlobal Global
AsGlobal Global
Builtin Global
Typeable * Global
type Rep Global

class AsGlobal t where Source

Minimal complete definition

Nothing

Methods

_Global :: Prism' t Global Source

Instances

AsGlobal Global
AsGlobal Id
AsGlobal HardCore
AsGlobal (Core t a)
(~) (* -> *) f (Core t) => AsGlobal (Scope b f a)

class HasGlobal t where Source

Minimal complete definition

global

Methods

global :: Lens' t Global Source

fixity :: Lens' t Fixity Source

A lens that will read or update the fixity (and compute a new digest)

Instances

HasGlobal Global
HasGlobal Head
HasGlobal (Constructor k t)
HasGlobal (DataType k t)

Fixity

data Assoc Source

The associativity of an infix identifier

Constructors

L
R
N

Instances

Enum Assoc
Eq Assoc
Data Assoc
Ord Assoc
Read Assoc
Show Assoc
Generic Assoc
Digestable Assoc
Typeable * Assoc
type Rep Assoc

data Fixity Source

The fixity of an identifier

Constructors

Infix !Assoc !Int
Prefix !Int
Postfix !Int
Idfix

Instances

Eq Fixity
Data Fixity
Ord Fixity
Read Fixity
Show Fixity
Generic Fixity
Binary Fixity
Digestable Fixity
Serialize Fixity
Serial Fixity
Typeable * Fixity
type Rep Fixity

_Fixity :: Prism' Word8 Fixity Source

unpackFixity :: Monad m => Word8 -> m Fixity Source

packFixity :: Fixity -> Word8 Source

Pack Fixity into a Word8.

Format:

 01234567
 ccaapppp

cc is constructor tag, 0-3 pppp is precedence level, 0-9 aa is associativity tag, 0-2

Combinators

glob :: AsGlobal t => Fixity -> ModuleName -> Text -> t Source

Construct a Global with a correct digest.