curry-base-1.1.1: Functions for manipulating Curry programs
Copyright(c) 2017 Kai-Oliver Prott
2017 Finn Teegen
LicenseBSD-3-clause
Maintainerfte@informatik.uni-kiel.de
Stabilityexperimental
Portabilityportable
Safe HaskellSafe
LanguageHaskell2010

Curry.CondCompile.Type

Description

TODO

Documentation

type Program = [Stmt] Source #

data Stmt Source #

Constructors

If Cond [Stmt] [Elif] Else 
IfDef String [Stmt] [Elif] Else 
IfNDef String [Stmt] [Elif] Else 
Define String Int 
Undef String 
Line String 

Instances

Instances details
Show Stmt Source # 
Instance details

Defined in Curry.CondCompile.Type

Methods

showsPrec :: Int -> Stmt -> ShowS

show :: Stmt -> String

showList :: [Stmt] -> ShowS

Pretty Stmt Source # 
Instance details

Defined in Curry.CondCompile.Type

Methods

pPrint :: Stmt -> Doc Source #

pPrintPrec :: Int -> Stmt -> Doc Source #

pPrintList :: [Stmt] -> Doc Source #

newtype Else Source #

Constructors

Else (Maybe [Stmt]) 

Instances

Instances details
Show Else Source # 
Instance details

Defined in Curry.CondCompile.Type

Methods

showsPrec :: Int -> Else -> ShowS

show :: Else -> String

showList :: [Else] -> ShowS

Pretty Else Source # 
Instance details

Defined in Curry.CondCompile.Type

Methods

pPrint :: Else -> Doc Source #

pPrintPrec :: Int -> Else -> Doc Source #

pPrintList :: [Else] -> Doc Source #

newtype Elif Source #

Constructors

Elif (Cond, [Stmt]) 

Instances

Instances details
Show Elif Source # 
Instance details

Defined in Curry.CondCompile.Type

Methods

showsPrec :: Int -> Elif -> ShowS

show :: Elif -> String

showList :: [Elif] -> ShowS

Pretty Elif Source # 
Instance details

Defined in Curry.CondCompile.Type

Methods

pPrint :: Elif -> Doc Source #

pPrintPrec :: Int -> Elif -> Doc Source #

pPrintList :: [Elif] -> Doc Source #

data Cond Source #

Constructors

Comp String Op Int 
Defined String 
NDefined String 

Instances

Instances details
Show Cond Source # 
Instance details

Defined in Curry.CondCompile.Type

Methods

showsPrec :: Int -> Cond -> ShowS

show :: Cond -> String

showList :: [Cond] -> ShowS

Pretty Cond Source # 
Instance details

Defined in Curry.CondCompile.Type

Methods

pPrint :: Cond -> Doc Source #

pPrintPrec :: Int -> Cond -> Doc Source #

pPrintList :: [Cond] -> Doc Source #

data Op Source #

Constructors

Eq 
Neq 
Lt 
Leq 
Gt 
Geq 

Instances

Instances details
Show Op Source # 
Instance details

Defined in Curry.CondCompile.Type

Methods

showsPrec :: Int -> Op -> ShowS

show :: Op -> String

showList :: [Op] -> ShowS

Pretty Op Source # 
Instance details

Defined in Curry.CondCompile.Type

Methods

pPrint :: Op -> Doc Source #

pPrintPrec :: Int -> Op -> Doc Source #

pPrintList :: [Op] -> Doc Source #