Safe Haskell	None
Language	Haskell2010

Graphics.Implicit.ExtOpenScad.Definitions

Synopsis

data ArgParser a
- = AP Symbol (Maybe OVal) String (OVal -> ArgParser a)
- | APTerminator a
- | APFailIf Bool String (ArgParser a)
- | APExample String (ArgParser a)
- | APTest String [TestInvariant] (ArgParser a)
- | APBranch [ArgParser a]
newtype Symbol = Symbol String
data Pattern
- = Name Symbol
- | ListP [Pattern]
- | Wild
data Expr
- = Var Symbol
- | LitE OVal
- | ListE [Expr]
- | LamE [Pattern] Expr
- | Expr :$ [Expr]
data StatementI = StatementI SourcePosition (Statement StatementI)
data Statement st
- = Include String Bool
- | Pattern := Expr
- | If Expr [st] [st]
- | NewModule Symbol [(Symbol, Maybe Expr)] [st]
- | ModuleCall Symbol [(Maybe Symbol, Expr)] [st]
- | DoNothing
data OVal
- = OUndefined
- | OError [String]
- | OBool Bool
- | ONum ℝ
- | OList [OVal]
- | OString String
- | OFunc (OVal -> OVal)
- | OUModule Symbol (Maybe [(Symbol, Bool)]) ([OVal] -> ArgParser (StateC [OVal]))
- | ONModule Symbol (SourcePosition -> [OVal] -> ArgParser (StateC [OVal])) [([(Symbol, Bool)], Maybe Bool)]
- | OVargsModule String (String -> SourcePosition -> [(Maybe Symbol, OVal)] -> [StatementI] -> ([StatementI] -> StateC ()) -> StateC ())
- | OObj3 SymbolicObj3
- | OObj2 SymbolicObj2
newtype TestInvariant = EulerCharacteristic ℕ
data SourcePosition = SourcePosition Fastℕ Fastℕ FilePath
type StateC = StateT CompState IO
data CompState = CompState {
- scadVars :: VarLookup
- oVals :: [OVal]
- sourceDir :: FilePath
- messages :: [Message]
- scadOpts :: ScadOpts
}
newtype VarLookup = VarLookup (Map Symbol OVal)
data Message = Message MessageType SourcePosition String
data MessageType
- = TextOut
- | Warning
- | Error
- | SyntaxError
- | Compatibility
- | Unimplemented
data ScadOpts = ScadOpts {
- openScadCompatibility :: Bool
- importsAllowed :: Bool
}
lookupVarIn :: String -> VarLookup -> Maybe OVal
varUnion :: VarLookup -> VarLookup -> VarLookup

Documentation

data ArgParser a Source #

Handles parsing arguments to built-in modules

Constructors

AP Symbol (Maybe OVal) String (OVal -> ArgParser a)	For actual argument entries: ArgParser (argument name) (default) (doc) (next Argparser...)
APTerminator a	For returns: ArgParserTerminator (return value)
APFailIf Bool String (ArgParser a)	For failure: ArgParserFailIf (test) (error message) (child for if true)
APExample String (ArgParser a)
APTest String [TestInvariant] (ArgParser a)
APBranch [ArgParser a]

Instances

Monad ArgParser Source #
Instance details Defined in Graphics.Implicit.ExtOpenScad.Definitions Methods (>>=) :: ArgParser a -> (a -> ArgParser b) -> ArgParser b # (>>) :: ArgParser a -> ArgParser b -> ArgParser b # return :: a -> ArgParser a # fail :: String -> ArgParser a #
Functor ArgParser Source #
Instance details Defined in Graphics.Implicit.ExtOpenScad.Definitions Methods fmap :: (a -> b) -> ArgParser a -> ArgParser b # (<$) :: a -> ArgParser b -> ArgParser a #
Applicative ArgParser Source #
Instance details Defined in Graphics.Implicit.ExtOpenScad.Definitions Methods pure :: a -> ArgParser a # (<>) :: ArgParser (a -> b) -> ArgParser a -> ArgParser b # liftA2 :: (a -> b -> c) -> ArgParser a -> ArgParser b -> ArgParser c # (>) :: ArgParser a -> ArgParser b -> ArgParser b # (<*) :: ArgParser a -> ArgParser b -> ArgParser a #
Alternative ArgParser Source #
Instance details Defined in Graphics.Implicit.ExtOpenScad.Definitions Methods empty :: ArgParser a # (<\|>) :: ArgParser a -> ArgParser a -> ArgParser a # some :: ArgParser a -> ArgParser [a] # many :: ArgParser a -> ArgParser [a] #
MonadPlus ArgParser Source #
Instance details Defined in Graphics.Implicit.ExtOpenScad.Definitions Methods mzero :: ArgParser a # mplus :: ArgParser a -> ArgParser a -> ArgParser a #

newtype Symbol Source #

Constructors

Symbol String

Instances

Eq Symbol Source #
Instance details Defined in Graphics.Implicit.ExtOpenScad.Definitions Methods (==) :: Symbol -> Symbol -> Bool # (/=) :: Symbol -> Symbol -> Bool #
Ord Symbol Source #
Instance details Defined in Graphics.Implicit.ExtOpenScad.Definitions Methods compare :: Symbol -> Symbol -> Ordering # (<) :: Symbol -> Symbol -> Bool # (<=) :: Symbol -> Symbol -> Bool # (>) :: Symbol -> Symbol -> Bool # (>=) :: Symbol -> Symbol -> Bool # max :: Symbol -> Symbol -> Symbol # min :: Symbol -> Symbol -> Symbol #
Show Symbol Source #
Instance details Defined in Graphics.Implicit.ExtOpenScad.Definitions Methods showsPrec :: Int -> Symbol -> ShowS # show :: Symbol -> String # showList :: [Symbol] -> ShowS #

data Pattern Source #

Constructors

Name Symbol
ListP [Pattern]
Wild

Instances

Eq Pattern Source #
Instance details Defined in Graphics.Implicit.ExtOpenScad.Definitions Methods (==) :: Pattern -> Pattern -> Bool # (/=) :: Pattern -> Pattern -> Bool #
Show Pattern Source #
Instance details Defined in Graphics.Implicit.ExtOpenScad.Definitions Methods showsPrec :: Int -> Pattern -> ShowS # show :: Pattern -> String # showList :: [Pattern] -> ShowS #

data Expr Source #

An expression.

Constructors

Var Symbol
LitE OVal
ListE [Expr]
LamE [Pattern] Expr
Expr :$ [Expr]

Instances

Eq Expr Source #
Instance details Defined in Graphics.Implicit.ExtOpenScad.Definitions Methods (==) :: Expr -> Expr -> Bool # (/=) :: Expr -> Expr -> Bool #
Show Expr Source #
Instance details Defined in Graphics.Implicit.ExtOpenScad.Definitions Methods showsPrec :: Int -> Expr -> ShowS # show :: Expr -> String # showList :: [Expr] -> ShowS #

data StatementI Source #

A statement, along with the line, column number, and file it is found at.

Constructors

StatementI SourcePosition (Statement StatementI)

Instances

Eq StatementI Source #
Instance details Defined in Graphics.Implicit.ExtOpenScad.Definitions Methods (==) :: StatementI -> StatementI -> Bool # (/=) :: StatementI -> StatementI -> Bool #
Show StatementI Source #
Instance details Defined in Graphics.Implicit.ExtOpenScad.Definitions Methods showsPrec :: Int -> StatementI -> ShowS # show :: StatementI -> String # showList :: [StatementI] -> ShowS #

data Statement st Source #

Constructors

Include String Bool
Pattern := Expr
If Expr [st] [st]
NewModule Symbol [(Symbol, Maybe Expr)] [st]
ModuleCall Symbol [(Maybe Symbol, Expr)] [st]
DoNothing

Instances

Eq st => Eq (Statement st) Source #
Instance details Defined in Graphics.Implicit.ExtOpenScad.Definitions Methods (==) :: Statement st -> Statement st -> Bool # (/=) :: Statement st -> Statement st -> Bool #
Show st => Show (Statement st) Source #
Instance details Defined in Graphics.Implicit.ExtOpenScad.Definitions Methods showsPrec :: Int -> Statement st -> ShowS # show :: Statement st -> String # showList :: [Statement st] -> ShowS #

data OVal Source #

Objects for our OpenSCAD-like language

Constructors

OUndefined
OError [String]
OBool Bool
ONum ℝ
OList [OVal]
OString String
OFunc (OVal -> OVal)
OUModule Symbol (Maybe [(Symbol, Bool)]) ([OVal] -> ArgParser (StateC [OVal]))
ONModule Symbol (SourcePosition -> [OVal] -> ArgParser (StateC [OVal])) [([(Symbol, Bool)], Maybe Bool)]
OVargsModule String (String -> SourcePosition -> [(Maybe Symbol, OVal)] -> [StatementI] -> ([StatementI] -> StateC ()) -> StateC ())
OObj3 SymbolicObj3
OObj2 SymbolicObj2

Instances

Eq OVal Source #
Instance details Defined in Graphics.Implicit.ExtOpenScad.Definitions Methods (==) :: OVal -> OVal -> Bool # (/=) :: OVal -> OVal -> Bool #
Show OVal Source #
Instance details Defined in Graphics.Implicit.ExtOpenScad.Definitions Methods showsPrec :: Int -> OVal -> ShowS # show :: OVal -> String # showList :: [OVal] -> ShowS #

newtype TestInvariant Source #

Constructors

EulerCharacteristic ℕ

Instances

Show TestInvariant Source #
Instance details Defined in Graphics.Implicit.ExtOpenScad.Definitions Methods showsPrec :: Int -> TestInvariant -> ShowS # show :: TestInvariant -> String # showList :: [TestInvariant] -> ShowS #

data SourcePosition Source #

In order to not propagate Parsec or other modules around, create our own source position type for the AST.

Constructors

SourcePosition Fastℕ Fastℕ FilePath

Instances

Eq SourcePosition Source #
Instance details Defined in Graphics.Implicit.ExtOpenScad.Definitions Methods (==) :: SourcePosition -> SourcePosition -> Bool # (/=) :: SourcePosition -> SourcePosition -> Bool #
Show SourcePosition Source #
Instance details Defined in Graphics.Implicit.ExtOpenScad.Definitions Methods showsPrec :: Int -> SourcePosition -> ShowS # show :: SourcePosition -> String # showList :: [SourcePosition] -> ShowS #

type StateC = StateT CompState IO Source #

data CompState Source #

This is the state of a computation. It contains a hash of variables/functions, an array of OVals, a path, messages, and options controlling code execution.

Constructors

CompState
Fields scadVars :: VarLookup oVals :: [OVal] sourceDir :: FilePath messages :: [Message] scadOpts :: ScadOpts

newtype VarLookup Source #

Constructors

VarLookup (Map Symbol OVal)

data Message Source #

An individual message.

Constructors

Message MessageType SourcePosition String

Instances

Eq Message Source #
Instance details Defined in Graphics.Implicit.ExtOpenScad.Definitions Methods (==) :: Message -> Message -> Bool # (/=) :: Message -> Message -> Bool #
Show Message Source #
Instance details Defined in Graphics.Implicit.ExtOpenScad.Definitions Methods showsPrec :: Int -> Message -> ShowS # show :: Message -> String # showList :: [Message] -> ShowS #

data MessageType Source #

The types of messages the execution engine can send back to the application.

Constructors

TextOut
Warning
Error
SyntaxError
Compatibility
Unimplemented

Instances

Eq MessageType Source #
Instance details Defined in Graphics.Implicit.ExtOpenScad.Definitions Methods (==) :: MessageType -> MessageType -> Bool # (/=) :: MessageType -> MessageType -> Bool #
Show MessageType Source #
Instance details Defined in Graphics.Implicit.ExtOpenScad.Definitions Methods showsPrec :: Int -> MessageType -> ShowS # show :: MessageType -> String # showList :: [MessageType] -> ShowS #

data ScadOpts Source #

Options changing the behavior of the extended OpenScad engine.

Constructors

ScadOpts
Fields openScadCompatibility :: Bool importsAllowed :: Bool

lookupVarIn :: String -> VarLookup -> Maybe OVal Source #

For programs using this API to perform variable lookups, after execution of an escad has completed.

varUnion :: VarLookup -> VarLookup -> VarLookup Source #