purescript-0.3.2: PureScript Programming Language Compiler

Safe HaskellNone

Language.PureScript.Values

Description

 

Documentation

type Guard = ValueSource

data UnaryOperator Source

Constructors

Negate 
Not 
BitwiseNot 
Positive 

Instances

data BinaryOperator Source

Constructors

Add 
Subtract 
Multiply 
Divide 
Modulus 
EqualTo 
NotEqualTo 
LessThan 
LessThanOrEqualTo 
GreaterThan 
GreaterThanOrEqualTo 
And 
Or 
BitwiseAnd 
BitwiseOr 
BitwiseXor 
ShiftLeft 
ShiftRight 
ZeroFillShiftRight 
Concat 

Instances

data Value Source

Constructors

NumericLiteral (Either Integer Double) 
StringLiteral String 
BooleanLiteral Bool 
Unary UnaryOperator Value 
Binary BinaryOperator Value Value 
BinaryNoParens (Qualified Ident) Value Value 
Parens Value 
ArrayLiteral [Value] 
Indexer Value Value 
ObjectLiteral [(String, Value)] 
Accessor String Value 
ObjectUpdate Value [(String, Value)] 
Abs [Ident] Value 
App Value [Value] 
Var (Qualified Ident) 
IfThenElse Value Value Value 
Block [Statement] 
Constructor (Qualified ProperName) 
Case [Value] [([Binder], Maybe Guard, Value)] 
TypedValue Bool Value Type 
Do [DoNotationElement] 
TypeClassDictionary (Qualified ProperName, Type) [TypeClassDictionaryInScope] 

Instances

data TypeClassDictionaryType Source

Constructors

TCDRegular 
TCDAlias (Qualified Ident) 

Instances

data TypeClassDictionaryInScope Source

Constructors

TypeClassDictionaryInScope 

Fields

tcdName :: Qualified Ident
 
tcdClassName :: Qualified ProperName
 
tcdInstanceType :: Type
 
tcdDependencies :: Maybe [(Qualified ProperName, Type)]
 
tcdType :: TypeClassDictionaryType
 

Instances

data DoNotationElement Source

Constructors

DoNotationValue Value 
DoNotationBind Binder Value 
DoNotationLet Binder Value 

Instances

data Statement Source

Constructors

VariableIntroduction Ident Value 
Assignment Ident Value 
While Value [Statement] 
For Ident Value Value [Statement] 
If IfStatement 
Return Value 

Instances

data IfStatement Source

Constructors

IfStatement Value [Statement] (Maybe ElseStatement) 

Instances

data ElseStatement Source

Constructors

Else [Statement] 
ElseIf IfStatement 

Instances

data Binder Source

Constructors

NullBinder 
BooleanBinder Bool 
StringBinder String 
NumberBinder (Either Integer Double) 
VarBinder Ident 
NullaryBinder (Qualified ProperName) 
UnaryBinder (Qualified ProperName) Binder 
ObjectBinder [(String, Binder)] 
ArrayBinder [Binder] 
ConsBinder Binder Binder 
NamedBinder Ident Binder 

Instances