curry-base-1.1.0: Functions for manipulating Curry programs

Copyright	(c) 2017 Kai-Oliver Prott 2017 Finn Teegen
License	BSD-3-clause
Maintainer	fte@informatik.uni-kiel.de
Stability	experimental
Portability	portable
Safe Haskell	Safe
Language	Haskell2010

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

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

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

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

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

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 #