-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/


-- | Manipulating Core Erlang source code
--   
--   Facilities for manipulating Core Erlang source code: an abstract
--   syntax, parser and pretty-printer.
@package CoreErlang
@version 0.0.1


-- | A suite of datatypes describing the abstract syntax of CoreErlang
--   1.0.3. <a>http://www.it.uu.se/research/group/hipe/cerl/</a>
module Language.CoreErlang.Syntax

-- | A CoreErlang source module.
data Module
Module :: Atom -> [Function] -> [(Atom, Const)] -> [FunDef] -> Module

-- | This type is used to represent lambdas
data FunDef
FunDef :: (Ann Function) -> (Ann Exp) -> FunDef

-- | CoreErlang expression.
data Exp

-- | variable
Var :: Var -> Exp

-- | literal constant
Lit :: Literal -> Exp

-- | function name
Fun :: Function -> Exp

-- | application
App :: Exps -> [Exps] -> Exp

-- | module call
ModCall :: (Exps, Exps) -> [Exps] -> Exp

-- | lambda expression
Lambda :: [Var] -> Exps -> Exp

-- | sequencing
Seq :: Exps -> Exps -> Exp

-- | local declaration
Let :: ([Var], Exps) -> Exps -> Exp

-- | letrec expression
LetRec :: [FunDef] -> Exps -> Exp

-- | <tt>case</tt> <i>exp</i> <tt>of</tt> <i>alts</i> end
Case :: Exps -> [Ann Alt] -> Exp

-- | tuple expression
Tuple :: [Exps] -> Exp

-- | list expression
List :: (List Exps) -> Exp

-- | binary expression
Binary :: [BitString Exps] -> Exp

-- | operator application
Op :: Atom -> [Exps] -> Exp

-- | try expression
Try :: Exps -> ([Var], Exps) -> ([Var], Exps) -> Exp

-- | receive expression
Rec :: [Ann Alt] -> TimeOut -> Exp

-- | catch expression
Catch :: Exps -> Exp

-- | CoreErlang expressions.
data Exps

-- | single expression
Exp :: (Ann Exp) -> Exps

-- | list of expressions
Exps :: (Ann [Ann Exp]) -> Exps

-- | An <i>alt</i> in a <tt>case</tt> expression
data Alt
Alt :: Pats -> Guard -> Exps -> Alt

-- | A guarded alternative <tt>when</tt> <i>exp</i> <tt>-&gt;</tt>
--   <i>exp</i>. The first expression will be Boolean-valued.
data Guard
Guard :: Exps -> Guard

-- | A list of expressions
data List a
L :: [a] -> List a
LL :: [a] -> a -> List a

-- | The timeout of a receive expression
data TimeOut
TimeOut :: Exps -> Exps -> TimeOut

-- | A bitstring.
data BitString a
BitString :: a -> [Exps] -> BitString a

-- | This type is used to represent function names
data Function
Function :: (Atom, Integer) -> Function
data Pats

-- | single pattern
Pat :: Pat -> Pats

-- | list of patterns
Pats :: [Pat] -> Pats

-- | A pattern, to be matched against a value.
data Pat

-- | variable
PVar :: Var -> Pat

-- | literal constant
PLit :: Literal -> Pat

-- | tuple pattern
PTuple :: [Pat] -> Pat

-- | list pattern
PList :: (List Pat) -> Pat

-- | list of bitstring patterns
PBinary :: [BitString Pat] -> Pat

-- | alias pattern
PAlias :: Alias -> Pat

-- | An alias, used in patterns
data Alias
Alias :: Var -> Pat -> Alias

-- | <i>literal</i>. Values of this type hold the abstract value of the
--   literal, not the precise string representation used. For example,
--   <tt>10</tt>, <tt>0o12</tt> and <tt>0xa</tt> have the same
--   representation.
data Literal

-- | character literal
LChar :: Char -> Literal

-- | string literal
LString :: String -> Literal

-- | integer literal
LInt :: Integer -> Literal

-- | floating point literal
LFloat :: Double -> Literal

-- | atom literal
LAtom :: Atom -> Literal

-- | empty list
LNil :: Literal

-- | This type is used to represent constants
data Const
CLit :: Literal -> Const
CTuple :: [Const] -> Const
CList :: (List Const) -> Const

-- | This type is used to represent atoms
data Atom
Atom :: String -> Atom

-- | This type is used to represent variables
type Var = String

-- | An annotation for modules, variables, ...
data Ann a

-- | core erlang construct
Constr :: a -> Ann a

-- | core erlang annotated construct
Ann :: a -> [Const] -> Ann a
instance Eq a => Eq (Ann a)
instance Ord a => Ord (Ann a)
instance Show a => Show (Ann a)
instance Eq TimeOut
instance Ord TimeOut
instance Show TimeOut
instance Eq Guard
instance Ord Guard
instance Show Guard
instance Eq Alias
instance Ord Alias
instance Show Alias
instance Eq Pat
instance Ord Pat
instance Show Pat
instance Eq Pats
instance Ord Pats
instance Show Pats
instance Eq Alt
instance Ord Alt
instance Show Alt
instance Eq a => Eq (List a)
instance Ord a => Ord (List a)
instance Show a => Show (List a)
instance Eq a => Eq (BitString a)
instance Ord a => Ord (BitString a)
instance Show a => Show (BitString a)
instance Eq Exp
instance Ord Exp
instance Show Exp
instance Eq Exps
instance Ord Exps
instance Show Exps
instance Eq Literal
instance Ord Literal
instance Show Literal
instance Eq FunDef
instance Ord FunDef
instance Show FunDef
instance Eq Const
instance Ord Const
instance Show Const
instance Eq Module
instance Ord Module
instance Show Module
instance Eq Function
instance Ord Function
instance Show Function
instance Eq Atom
instance Ord Atom
instance Show Atom


-- | Pretty printer for CoreErlang.
module Language.CoreErlang.Pretty

-- | Things that can be pretty-printed, including all the syntactic objects
--   in <a>Language.CoreErlang.Syntax</a>.
class Pretty a

-- | pretty-print with a given style and mode.
prettyPrintStyleMode :: Pretty a => Style -> PPMode -> a -> String

-- | pretty-print with the default style and a given mode.
prettyPrintWithMode :: Pretty a => PPMode -> a -> String

-- | pretty-print with the default style and <a>defaultMode</a>.
prettyPrint :: Pretty a => a -> String

-- | A rendering style.
data Style :: *
Style :: Mode -> Int -> Float -> Style

-- | The rendering mode
mode :: Style -> Mode

-- | Length of line, in chars
lineLength :: Style -> Int

-- | Ratio of ribbon length to line length
ribbonsPerLine :: Style -> Float

-- | The default style (<tt>mode=PageMode, lineLength=100,
--   ribbonsPerLine=1.5</tt>).
style :: Style

-- | Rendering mode.
data Mode :: *

-- | Normal
PageMode :: Mode

-- | With zig-zag cuts
ZigZagMode :: Mode

-- | No indentation, infinitely long lines
LeftMode :: Mode

-- | All on one line
OneLineMode :: Mode

-- | Pretty-printing parameters.
data PPMode
PPMode :: Indent -> Indent -> Indent -> Indent -> Indent -> Indent -> Indent -> PPLayout -> PPMode

-- | indentation of the alternatives in a <tt>case</tt> expression
altIndent :: PPMode -> Indent

-- | indentation of the declarations in a <tt>case</tt> expression
caseIndent :: PPMode -> Indent

-- | indentation of the declarations in a function definition
fundefIndent :: PPMode -> Indent

-- | indentation of the declarations in a <tt>lambda</tt> expression
lambdaIndent :: PPMode -> Indent

-- | indentation of the declarations in a <tt>let</tt> expression
letIndent :: PPMode -> Indent

-- | indentation of the declarations in a <tt>letrec</tt> expression
letrecIndent :: PPMode -> Indent

-- | indentation added for continuation lines that would otherwise be
--   offside
onsideIndent :: PPMode -> Indent

-- | Pretty-printing style to use
layout :: PPMode -> PPLayout
type Indent = Int

-- | Varieties of layout we can use.
data PPLayout

-- | classical layout
PPDefault :: PPLayout

-- | everything on a single line
PPNoLayout :: PPLayout

-- | The default mode: pretty-print using sensible defaults.
defaultMode :: PPMode
instance Eq PPLayout
instance Pretty a => Pretty (Ann a)
instance Pretty a => Pretty (BitString a)
instance Pretty TimeOut
instance Pretty Guard
instance Pretty Alias
instance Pretty Pat
instance Pretty Pats
instance Pretty Alt
instance Pretty a => Pretty (List a)
instance Pretty Exp
instance Pretty Exps
instance Pretty Atom
instance Pretty Literal
instance Pretty FunDef
instance Pretty Const
instance Pretty Function
instance Pretty Module
instance Monad (DocM s)
instance Functor (DocM s)


-- | CoreErlang parser.
--   <a>http://www.it.uu.se/research/group/hipe/cerl/</a>
module Language.CoreErlang.Parser

-- | Parse of a string, which should contain a complete CoreErlang module
parseModule :: String -> Either ParseError (Ann Module)
data ParseError :: *