Graphics.Implicit.ExtOpenScad.Definitions

Documentation

data ArgParser a

Handles parsing arguments to modules

Constructors

AP String (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

Methods

(>>=) :: ArgParser a -> (a -> ArgParser b) -> ArgParser b

(>>) :: ArgParser a -> ArgParser b -> ArgParser b

return :: a -> ArgParser a

fail :: String -> ArgParser a

Functor ArgParser

Methods

fmap :: (a -> b) -> ArgParser a -> ArgParser b

(<$) :: a -> ArgParser b -> ArgParser a

Applicative ArgParser

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

Methods

empty :: ArgParser a

(<|>) :: ArgParser a -> ArgParser a -> ArgParser a

some :: ArgParser a -> ArgParser [a]

many :: ArgParser a -> ArgParser [a]

MonadPlus ArgParser

Methods

mzero :: ArgParser a

mplus :: ArgParser a -> ArgParser a -> ArgParser a

type Symbol = String

data Pattern

Constructors

Name Symbol

ListP [Pattern]

Wild

Instances

Eq Pattern

Methods

(==) :: Pattern -> Pattern -> Bool

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

Show Pattern

Methods

showsPrec :: Int -> Pattern -> ShowS

show :: Pattern -> String

showList :: [Pattern] -> ShowS

data Expr

Constructors

Var Symbol

LitE OVal

ListE [Expr]

LamE [Pattern] Expr

Expr :$ [Expr]

Instances

Eq Expr

Methods

(==) :: Expr -> Expr -> Bool

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

Show Expr

Methods

showsPrec :: Int -> Expr -> ShowS

show :: Expr -> String

showList :: [Expr] -> ShowS

data StatementI

Constructors

StatementI Fastℕ (Statement StatementI)

Instances

Eq StatementI

Methods

(==) :: StatementI -> StatementI -> Bool

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

Show StatementI

Methods

showsPrec :: Int -> StatementI -> ShowS

show :: StatementI -> String

showList :: [StatementI] -> ShowS

data Statement st

Constructors

Include String Bool

Pattern := Expr

Echo [Expr]

For Pattern Expr [st]

If Expr [st] [st]

NewModule Symbol [(Symbol, Maybe Expr)] [st]

ModuleCall Symbol [(Maybe Symbol, Expr)] [st]

DoNothing

Instances

Eq st => Eq (Statement st)

Methods

(==) :: Statement st -> Statement st -> Bool

(/=) :: Statement st -> Statement st -> Bool

Show st => Show (Statement st)

Methods

showsPrec :: Int -> Statement st -> ShowS

show :: Statement st -> String

showList :: [Statement st] -> ShowS

data OVal

Objects for our OpenSCAD-like language

Constructors

OUndefined

OError [String]

OBool Bool

ONum ℝ

OList [OVal]

OString String

OFunc (OVal -> OVal)

OModule ([OVal] -> ArgParser (IO [OVal]))

OObj3 SymbolicObj3

OObj2 SymbolicObj2

Instances

Eq OVal

Methods

(==) :: OVal -> OVal -> Bool

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

Show OVal

Methods

showsPrec :: Int -> OVal -> ShowS

show :: OVal -> String

showList :: [OVal] -> ShowS

type VarLookup = Map String OVal

type FStack = [OVal]

newtype TestInvariant

Constructors

EulerCharacteristic ℕ

Instances

Show TestInvariant

Methods

showsPrec :: Int -> TestInvariant -> ShowS

show :: TestInvariant -> String

showList :: [TestInvariant] -> ShowS

collector :: Symbol -> [Expr] -> Expr