Safe Haskell	None
Language	Haskell2010

FreeC.LiftedIR.Syntax.Expr

Description

This module contains the definition of expressions for our lifted intermediate language.

Synopsis

data Expr
- = Con {
  - exprSrcSpan :: SrcSpan
  - exprConName :: ConName
  }
- | SmartCon {
  - exprSrcSpan :: SrcSpan
  - exprConName :: ConName
  }
- | Var {
  - exprSrcSpan :: SrcSpan
  - exprVarName :: VarName
  - exprAgdaVarName :: QName
  - exprCoqVarIdent :: Qualid
  }
- | App {
  - exprSrcSpan :: SrcSpan
  - exprAppFunc :: Expr
  - exprAppTypeArgs :: [Type]
  - exprEffects :: [Effect]
  - exprAppArgs :: [Expr]
  - exprFreeArgs :: Bool
  }
- | If {
  - exprSrcSpan :: SrcSpan
  - ifExprCond :: Expr
  - ifExprThen :: Expr
  - ifExprElse :: Expr
  }
- | Case {
  - exprSrcSpan :: SrcSpan
  - caseExprScrutinee :: Expr
  - caseExprAlts :: [Alt]
  }
- | Undefined {
  - exprSrcSpan :: SrcSpan
  }
- | ErrorExpr {
  - exprSrcSpan :: SrcSpan
  }
- | Trace {
  - exprSrcSpan :: SrcSpan
  }
- | IntLiteral {
  - exprSrcSpan :: SrcSpan
  - intLiteralValue :: Integer
  }
- | StringLiteral {
  - exprSrcSpan :: SrcSpan
  - stringLiteralValue :: String
  }
- | Lambda {
  - exprSrcSpan :: SrcSpan
  - lambdaExprArgs :: [VarPat]
  - lambdaExprRhs :: Expr
  }
- | Pure {
  - exprSrcSpan :: SrcSpan
  - exprPureArg :: Expr
  }
- | Bind {
  - exprSrcSpan :: SrcSpan
  - exprBindArg :: Expr
  - exprBindCont :: Expr
  }
- | Share {
  - exprScrSpan :: SrcSpan
  - exprShareArg :: Expr
  - exprShareType :: Maybe Type
  }
data Alt = Alt {
- altSrcSpan :: SrcSpan
- altConPat :: ConPat
- altVarPats :: [VarPat]
- altRhs :: Expr
}
data ConPat = ConPat {
- conPatSrcSpan :: SrcSpan
- conPatName :: ConName
}
data VarPat = VarPat {
- varPatSrcSpan :: SrcSpan
- varPatIdent :: String
- varPatType :: Maybe Type
- varPatAgdaIdent :: QName
- varPatCoqIdent :: Qualid
}

Documentation

data Expr Source #

An expression.

Constructors

Con	A constructor.
Fields exprSrcSpan :: SrcSpan exprConName :: ConName
SmartCon	A smart constructor.
Fields exprSrcSpan :: SrcSpan exprConName :: ConName
Var	A function or local variable.
Fields exprSrcSpan :: SrcSpan exprVarName :: VarName exprAgdaVarName :: QName exprCoqVarIdent :: Qualid
App	Function or constructor application.
Fields exprSrcSpan :: SrcSpan exprAppFunc :: Expr exprAppTypeArgs :: [Type] Visible type applications. exprEffects :: [Effect] Effect set. exprAppArgs :: [Expr] Applied arguments. exprFreeArgs :: Bool Whether the arguments for the free monad are needed.
If	`if` expression.
Fields exprSrcSpan :: SrcSpan ifExprCond :: Expr ifExprThen :: Expr ifExprElse :: Expr
Case	`case` expression.
Fields exprSrcSpan :: SrcSpan caseExprScrutinee :: Expr caseExprAlts :: [Alt]
Undefined	Error term `undefined`.
Fields exprSrcSpan :: SrcSpan
ErrorExpr	Error term `error`.
Fields exprSrcSpan :: SrcSpan
Trace	Effect `trace`.
Fields exprSrcSpan :: SrcSpan
IntLiteral	An integer literal.
Fields exprSrcSpan :: SrcSpan intLiteralValue :: Integer
StringLiteral	A string literal.
Fields exprSrcSpan :: SrcSpan stringLiteralValue :: String
Lambda	A lambda abstraction.
Fields exprSrcSpan :: SrcSpan lambdaExprArgs :: [VarPat] lambdaExprRhs :: Expr
Pure	The `pure` constructor of the `Free` monad.
Fields exprSrcSpan :: SrcSpan exprPureArg :: Expr The value that is lifted into the `Free` monad.
Bind	The bind operator for the free monad.
Fields exprSrcSpan :: SrcSpan exprBindArg :: Expr The left-hand side argument of `>>=`. exprBindCont :: Expr The right-hand side argument of `>>=`.
Share	The `share` operator.
Fields exprScrSpan :: SrcSpan exprShareArg :: Expr exprShareType :: Maybe Type

Instances

Eq Expr Source #
Instance details Defined in FreeC.LiftedIR.Syntax.Expr Methods (==) :: Expr -> Expr -> Bool Source # (/=) :: Expr -> Expr -> Bool Source #
Show Expr Source #
Instance details Defined in FreeC.LiftedIR.Syntax.Expr Methods showsPrec :: Int -> Expr -> ShowS Source # show :: Expr -> String Source # showList :: [Expr] -> ShowS Source #

data Alt Source #

One alternative of a case expression.

Constructors

Alt
Fields altSrcSpan :: SrcSpan altConPat :: ConPat altVarPats :: [VarPat] altRhs :: Expr

Instances

Eq Alt Source #
Instance details Defined in FreeC.LiftedIR.Syntax.Expr Methods (==) :: Alt -> Alt -> Bool Source # (/=) :: Alt -> Alt -> Bool Source #
Show Alt Source #
Instance details Defined in FreeC.LiftedIR.Syntax.Expr Methods showsPrec :: Int -> Alt -> ShowS Source # show :: Alt -> String Source # showList :: [Alt] -> ShowS Source #

data ConPat Source #

A constructor pattern used in an alternative of a case expression.

The main purpose of this data type is to add location information to a ConName.

Constructors

ConPat
Fields conPatSrcSpan :: SrcSpan conPatName :: ConName

Instances

Eq ConPat Source #
Instance details Defined in FreeC.LiftedIR.Syntax.Expr Methods (==) :: ConPat -> ConPat -> Bool Source # (/=) :: ConPat -> ConPat -> Bool Source #
Show ConPat Source #
Instance details Defined in FreeC.LiftedIR.Syntax.Expr Methods showsPrec :: Int -> ConPat -> ShowS Source # show :: ConPat -> String Source # showList :: [ConPat] -> ShowS Source #

data VarPat Source #

A variable pattern used as an argument to a function, lambda abstraction or constructor pattern.

The variable pattern can optionally have a type signature.

Constructors

VarPat
Fields varPatSrcSpan :: SrcSpan varPatIdent :: String varPatType :: Maybe Type varPatAgdaIdent :: QName varPatCoqIdent :: Qualid

Instances

Eq VarPat Source #
Instance details Defined in FreeC.LiftedIR.Syntax.Expr Methods (==) :: VarPat -> VarPat -> Bool Source # (/=) :: VarPat -> VarPat -> Bool Source #
Show VarPat Source #
Instance details Defined in FreeC.LiftedIR.Syntax.Expr Methods showsPrec :: Int -> VarPat -> ShowS Source # show :: VarPat -> String Source # showList :: [VarPat] -> ShowS Source #