Safe Haskell	None
Language	Haskell2010

Graphics.Implicit.ExtOpenScad.Definitions

Synopsis

data ArgParser a
- = AP Symbol (Maybe OVal) Text (OVal -> ArgParser a)
- | APTerminator a
- | APFail Text
- | APExample Text (ArgParser a)
- | APTest Text [TestInvariant] (ArgParser a)
- | APBranch [ArgParser a]
newtype Symbol = Symbol Text
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 Text Bool
- | Pattern := Expr
- | If Expr [st] [st]
- | NewModule Symbol [(Symbol, Maybe Expr)] [st]
- | ModuleCall Symbol [(Maybe Symbol, Expr)] [st]
- | DoNothing
data OVal
- = OUndefined
- | OError Text
- | OBool Bool
- | ONum ℝ
- | OList [OVal]
- | OString Text
- | OFunc (OVal -> OVal)
- | OUModule Symbol (Maybe [(Symbol, Bool)]) (VarLookup -> ArgParser (StateC [OVal]))
- | ONModule Symbol (SourcePosition -> [OVal] -> ArgParser (StateC [OVal])) [([(Symbol, Bool)], Maybe Bool)]
- | OVargsModule Symbol (Symbol -> 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 Text
data MessageType
- = TextOut
- | Warning
- | Error
- | SyntaxError
- | Compatibility
- | Unimplemented
data ScadOpts = ScadOpts {
- openScadCompatibility :: Bool
- importsAllowed :: Bool
}
lookupVarIn :: Text -> VarLookup -> Maybe OVal
varUnion :: VarLookup -> VarLookup -> VarLookup

Documentation

data ArgParser a Source #

Handles parsing arguments to built-in modules

Constructors

AP Symbol (Maybe OVal) Text (OVal -> ArgParser a)	For actual argument entries: `AP (argument name) (default) (doc) (next Argparser...)`
APTerminator a	For returns: `APTerminator (return value)`
APFail Text	For failure: `APFail (error message)`
APExample Text (ArgParser a)	An example, then next
APTest Text [TestInvariant] (ArgParser a)	A string to run as a test, then invariants for the results, then next
APBranch [ArgParser a]	A branch where there are a number of possibilities for the parser underneath

Instances

Instances details

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 #
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 Text

Instances

Instances details

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

Instances details

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

Instances details

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

Instances details

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 Text Bool
Pattern := Expr
If Expr [st] [st]
NewModule Symbol [(Symbol, Maybe Expr)] [st]
ModuleCall Symbol [(Maybe Symbol, Expr)] [st]
DoNothing

Instances

Instances details

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 Text
OBool Bool
ONum ℝ
OList [OVal]
OString Text
OFunc (OVal -> OVal)
OUModule Symbol (Maybe [(Symbol, Bool)]) (VarLookup -> ArgParser (StateC [OVal]))
ONModule Symbol (SourcePosition -> [OVal] -> ArgParser (StateC [OVal])) [([(Symbol, Bool)], Maybe Bool)]
OVargsModule Symbol (Symbol -> SourcePosition -> [(Maybe Symbol, OVal)] -> [StatementI] -> ([StatementI] -> StateC ()) -> StateC ())
OObj3 SymbolicObj3
OObj2 SymbolicObj2

Instances

Instances details

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

Instances details

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

Instances details

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 #

The state of computation.

Constructors

CompState
Fields scadVars :: VarLookup A hash of variables and functions. oVals :: [OVal] The result of geometry generating functions. sourceDir :: FilePath The path we are looking for includes in. messages :: [Message] Output strings, warnings, and errors generated during execution. scadOpts :: ScadOpts Options controlling the execution of scad code.

Instances

Instances details

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

newtype VarLookup Source #

Constructors

VarLookup (Map Symbol OVal)

Instances

Instances details

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

data Message Source #

An individual message.

Constructors

Message MessageType SourcePosition Text

Instances

Instances details

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

Instances details

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

Instances

Instances details

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

lookupVarIn :: Text -> 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 #