Language.Ast

Documentation

data Definition

Constructors

MappyDef Expression Expression

DefSugar SugaredDefinition

Instances

Eq Definition

Methods

(==) :: Definition -> Definition -> Bool

(/=) :: Definition -> Definition -> Bool

Ord Definition

Methods

compare :: Definition -> Definition -> Ordering

(<) :: Definition -> Definition -> Bool

(<=) :: Definition -> Definition -> Bool

(>) :: Definition -> Definition -> Bool

(>=) :: Definition -> Definition -> Bool

max :: Definition -> Definition -> Definition

min :: Definition -> Definition -> Definition

Show Definition

Methods

showsPrec :: Int -> Definition -> ShowS

show :: Definition -> String

showList :: [Definition] -> ShowS

data Expression

Constructors

MappyMap (PrimitiveMap Expression)

MappyApp Expression [Expression]

MappyLambda [Expression] Expression

MappyClosure [Expression] Expression [(Expression, Expression)]

MappyKeyword String

MappyNamedValue String

MappyLazyArgument String

ExprSugar SugaredExpression

Instances

Eq Expression

Methods

(==) :: Expression -> Expression -> Bool

(/=) :: Expression -> Expression -> Bool

Ord Expression

Methods

compare :: Expression -> Expression -> Ordering

(<) :: Expression -> Expression -> Bool

(<=) :: Expression -> Expression -> Bool

(>) :: Expression -> Expression -> Bool

(>=) :: Expression -> Expression -> Bool

max :: Expression -> Expression -> Expression

min :: Expression -> Expression -> Expression

Show Expression

Methods

showsPrec :: Int -> Expression -> ShowS

show :: Expression -> String

showList :: [Expression] -> ShowS

IoAble Expression

Methods

stringify :: Expression -> String

meansPrint :: Expression -> Bool

data PrimitiveMap a

Constructors

IoMap Io

StandardMap (Map a a)

Instances

Eq a => Eq (PrimitiveMap a)

Methods

(==) :: PrimitiveMap a -> PrimitiveMap a -> Bool

(/=) :: PrimitiveMap a -> PrimitiveMap a -> Bool

Ord a => Ord (PrimitiveMap a)

Methods

compare :: PrimitiveMap a -> PrimitiveMap a -> Ordering

(<) :: PrimitiveMap a -> PrimitiveMap a -> Bool

(<=) :: PrimitiveMap a -> PrimitiveMap a -> Bool

(>) :: PrimitiveMap a -> PrimitiveMap a -> Bool

(>=) :: PrimitiveMap a -> PrimitiveMap a -> Bool

max :: PrimitiveMap a -> PrimitiveMap a -> PrimitiveMap a

min :: PrimitiveMap a -> PrimitiveMap a -> PrimitiveMap a

Show a => Show (PrimitiveMap a)

Methods

showsPrec :: Int -> PrimitiveMap a -> ShowS

show :: PrimitiveMap a -> String

showList :: [PrimitiveMap a] -> ShowS

data SugaredDefinition

Constructors

SugaredFnDefinition Expression [Expression] Expression

Instances

Eq SugaredDefinition

Methods

(==) :: SugaredDefinition -> SugaredDefinition -> Bool

(/=) :: SugaredDefinition -> SugaredDefinition -> Bool

Ord SugaredDefinition

Methods

compare :: SugaredDefinition -> SugaredDefinition -> Ordering

(<) :: SugaredDefinition -> SugaredDefinition -> Bool

(<=) :: SugaredDefinition -> SugaredDefinition -> Bool

(>) :: SugaredDefinition -> SugaredDefinition -> Bool

(>=) :: SugaredDefinition -> SugaredDefinition -> Bool

max :: SugaredDefinition -> SugaredDefinition -> SugaredDefinition

min :: SugaredDefinition -> SugaredDefinition -> SugaredDefinition

Show SugaredDefinition

Methods

showsPrec :: Int -> SugaredDefinition -> ShowS

show :: SugaredDefinition -> String

showList :: [SugaredDefinition] -> ShowS

data SugaredExpression

Constructors

SugaredLet [Definition] Expression

SugaredList [Expression]

Instances

Eq SugaredExpression

Methods

(==) :: SugaredExpression -> SugaredExpression -> Bool

(/=) :: SugaredExpression -> SugaredExpression -> Bool

Ord SugaredExpression

Methods

compare :: SugaredExpression -> SugaredExpression -> Ordering

(<) :: SugaredExpression -> SugaredExpression -> Bool

(<=) :: SugaredExpression -> SugaredExpression -> Bool

(>) :: SugaredExpression -> SugaredExpression -> Bool

(>=) :: SugaredExpression -> SugaredExpression -> Bool

max :: SugaredExpression -> SugaredExpression -> SugaredExpression

min :: SugaredExpression -> SugaredExpression -> SugaredExpression

Show SugaredExpression

Methods

showsPrec :: Int -> SugaredExpression -> ShowS

show :: SugaredExpression -> String

showList :: [SugaredExpression] -> ShowS

pretty :: Expression -> String