Safe Haskell	None
Language	Haskell2010

Language.OpenSCAD

Contents

Basic parsing
Primitives
Expressions

Synopsis

parse :: ByteString -> Either String [TopLevel]
newtype Ident = Ident String
ident :: Parser Ident
data TopLevel
- = TopLevelScope Object
- | UseDirective String
- | IncludeDirective String
topLevel :: Parser TopLevel
data Object
- = Module Ident [Argument Expr] (Maybe Object)
- | ForLoop Ident Expr Object
- | Objects [Object]
- | If Expr Object (Maybe Object)
- | BackgroundMod Object
- | DebugMod Object
- | RootMod Object
- | DisableMod Object
- | ModuleDef {
  - moduleName :: Ident
  - moduleArgs :: [(Ident, Maybe Expr)]
  - moduleBody :: [Object]
  }
- | VarDef {
  - varName :: Ident
  - varValue :: Expr
  }
- | FuncDef {
  - funcName :: Ident
  - funcArgs :: [Ident]
  - funcBody :: Expr
  }
object :: Parser Object
data Expr
- = EVar Ident
- | EIndex Expr Expr
- | ENum Double
- | EVec [Expr]
- | ERange (Range Expr)
- | EString String
- | EBool Bool
- | EFunc Ident [Argument Expr]
- | ENegate Expr
- | EPlus Expr Expr
- | EMinus Expr Expr
- | EMult Expr Expr
- | EDiv Expr Expr
- | EMod Expr Expr
- | EEquals Expr Expr
- | ENotEquals Expr Expr
- | EGT Expr Expr
- | EGE Expr Expr
- | ELT Expr Expr
- | ELE Expr Expr
- | ENot Expr
- | EOr Expr Expr
- | EAnd Expr Expr
- | ETernary Expr Expr Expr
- | EParen Expr
expression :: Parser Expr
data Argument a
- = Argument a
- | NamedArgument Ident a
data Range a = Range {
- rangeStart :: a
- rangeEnd :: a
- rangeStep :: Maybe a
}

Basic parsing

parse :: ByteString -> Either String [TopLevel] Source #

Parse OpenSCAD source

Primitives

newtype Ident Source #

An identifier

Constructors

Ident String

Instances

Eq Ident Source #
Instance details Defined in Language.OpenSCAD Methods (==) :: Ident -> Ident -> Bool # (/=) :: Ident -> Ident -> Bool #
Ord Ident Source #
Instance details Defined in Language.OpenSCAD Methods compare :: Ident -> Ident -> Ordering # (<) :: Ident -> Ident -> Bool # (<=) :: Ident -> Ident -> Bool # (>) :: Ident -> Ident -> Bool # (>=) :: Ident -> Ident -> Bool # max :: Ident -> Ident -> Ident # min :: Ident -> Ident -> Ident #
Show Ident Source #
Instance details Defined in Language.OpenSCAD Methods showsPrec :: Int -> Ident -> ShowS # show :: Ident -> String # showList :: [Ident] -> ShowS #
Arbitrary Ident Source #
Instance details Defined in Language.OpenSCAD Methods arbitrary :: Gen Ident # shrink :: Ident -> [Ident] #
Pretty Ident Source #
Instance details Defined in Language.OpenSCAD Methods pretty :: Ident -> Doc ann # prettyList :: [Ident] -> Doc ann #

ident :: Parser Ident Source #

Parse an identifier

data TopLevel Source #

Things which can appear at the top level of an OpenSCAD source file

Constructors

TopLevelScope Object
UseDirective String
IncludeDirective String

Instances

Eq TopLevel Source #
Instance details Defined in Language.OpenSCAD Methods (==) :: TopLevel -> TopLevel -> Bool # (/=) :: TopLevel -> TopLevel -> Bool #
Show TopLevel Source #
Instance details Defined in Language.OpenSCAD Methods showsPrec :: Int -> TopLevel -> ShowS # show :: TopLevel -> String # showList :: [TopLevel] -> ShowS #
Generic TopLevel Source #
Instance details Defined in Language.OpenSCAD Associated Types type Rep TopLevel :: Type -> Type # Methods from :: TopLevel -> Rep TopLevel x # to :: Rep TopLevel x -> TopLevel #
Arbitrary TopLevel Source #
Instance details Defined in Language.OpenSCAD Methods arbitrary :: Gen TopLevel # shrink :: TopLevel -> [TopLevel] #
Pretty TopLevel Source #
Instance details Defined in Language.OpenSCAD Methods pretty :: TopLevel -> Doc ann # prettyList :: [TopLevel] -> Doc ann #
type Rep TopLevel Source #
Instance details Defined in Language.OpenSCAD type Rep TopLevel = D1 (MetaData "TopLevel" "Language.OpenSCAD" "language-openscad-0.1.8-inplace" False) (C1 (MetaCons "TopLevelScope" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Object)) :+: (C1 (MetaCons "UseDirective" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String)) :+: C1 (MetaCons "IncludeDirective" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String))))

topLevel :: Parser TopLevel Source #

Parse the top-level definitions of an OpenSCAD source file

data Object Source #

An OpenSCAD geometry object

Constructors

Module Ident [Argument Expr] (Maybe Object)
ForLoop Ident Expr Object
Objects [Object]	Implicit union
If Expr Object (Maybe Object)
BackgroundMod Object
DebugMod Object
RootMod Object
DisableMod Object
ModuleDef
Fields moduleName :: Ident moduleArgs :: [(Ident, Maybe Expr)] moduleBody :: [Object]
VarDef
Fields varName :: Ident varValue :: Expr
FuncDef
Fields funcName :: Ident funcArgs :: [Ident] funcBody :: Expr

Instances

Eq Object Source #
Instance details Defined in Language.OpenSCAD Methods (==) :: Object -> Object -> Bool # (/=) :: Object -> Object -> Bool #
Show Object Source #
Instance details Defined in Language.OpenSCAD Methods showsPrec :: Int -> Object -> ShowS # show :: Object -> String # showList :: [Object] -> ShowS #
Generic Object Source #
Instance details Defined in Language.OpenSCAD Associated Types type Rep Object :: Type -> Type # Methods from :: Object -> Rep Object x # to :: Rep Object x -> Object #
Arbitrary Object Source #
Instance details Defined in Language.OpenSCAD Methods arbitrary :: Gen Object # shrink :: Object -> [Object] #
Pretty Object Source #
Instance details Defined in Language.OpenSCAD Methods pretty :: Object -> Doc ann # prettyList :: [Object] -> Doc ann #
type Rep Object Source #
Instance details Defined in Language.OpenSCAD type Rep Object = D1 (MetaData "Object" "Language.OpenSCAD" "language-openscad-0.1.8-inplace" False) (((C1 (MetaCons "Module" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Ident) :: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Argument Expr]) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Object)))) :+: C1 (MetaCons "ForLoop" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Ident) :: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Expr) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Object)))) :+: (C1 (MetaCons "Objects" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Object])) :+: (C1 (MetaCons "If" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Expr) :: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Object) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Object)))) :+: C1 (MetaCons "BackgroundMod" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Object))))) :+: ((C1 (MetaCons "DebugMod" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Object)) :+: (C1 (MetaCons "RootMod" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Object)) :+: C1 (MetaCons "DisableMod" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Object)))) :+: (C1 (MetaCons "ModuleDef" PrefixI True) (S1 (MetaSel (Just "moduleName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Ident) :: (S1 (MetaSel (Just "moduleArgs") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [(Ident, Maybe Expr)]) :: S1 (MetaSel (Just "moduleBody") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Object]))) :+: (C1 (MetaCons "VarDef" PrefixI True) (S1 (MetaSel (Just "varName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Ident) :: S1 (MetaSel (Just "varValue") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Expr)) :+: C1 (MetaCons "FuncDef" PrefixI True) (S1 (MetaSel (Just "funcName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Ident) :: (S1 (MetaSel (Just "funcArgs") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Ident]) :*: S1 (MetaSel (Just "funcBody") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Expr)))))))

object :: Parser Object Source #

Parse an OpenSCAD object

Expressions

data Expr Source #

An OpenSCAD expression

Constructors

EVar Ident
EIndex Expr Expr
ENum Double
EVec [Expr]
ERange (Range Expr)
EString String
EBool Bool
EFunc Ident [Argument Expr]
ENegate Expr
EPlus Expr Expr
EMinus Expr Expr
EMult Expr Expr
EDiv Expr Expr
EMod Expr Expr
EEquals Expr Expr
ENotEquals Expr Expr
EGT Expr Expr
EGE Expr Expr
ELT Expr Expr
ELE Expr Expr
ENot Expr
EOr Expr Expr
EAnd Expr Expr
ETernary Expr Expr Expr
EParen Expr

Instances

Eq Expr Source #
Instance details Defined in Language.OpenSCAD Methods (==) :: Expr -> Expr -> Bool # (/=) :: Expr -> Expr -> Bool #
Show Expr Source #
Instance details Defined in Language.OpenSCAD Methods showsPrec :: Int -> Expr -> ShowS # show :: Expr -> String # showList :: [Expr] -> ShowS #
Generic Expr Source #
Instance details Defined in Language.OpenSCAD Associated Types type Rep Expr :: Type -> Type # Methods from :: Expr -> Rep Expr x # to :: Rep Expr x -> Expr #
Arbitrary Expr Source #
Instance details Defined in Language.OpenSCAD Methods arbitrary :: Gen Expr # shrink :: Expr -> [Expr] #
Pretty Expr Source #
Instance details Defined in Language.OpenSCAD Methods pretty :: Expr -> Doc ann # prettyList :: [Expr] -> Doc ann #
type Rep Expr Source #
Instance details Defined in Language.OpenSCAD type Rep Expr = D1 (MetaData "Expr" "Language.OpenSCAD" "language-openscad-0.1.8-inplace" False) ((((C1 (MetaCons "EVar" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Ident)) :+: (C1 (MetaCons "EIndex" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Expr) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Expr)) :+: C1 (MetaCons "ENum" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Double)))) :+: (C1 (MetaCons "EVec" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Expr])) :+: (C1 (MetaCons "ERange" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Range Expr))) :+: C1 (MetaCons "EString" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String))))) :+: ((C1 (MetaCons "EBool" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool)) :+: (C1 (MetaCons "EFunc" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Ident) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Argument Expr])) :+: C1 (MetaCons "ENegate" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Expr)))) :+: (C1 (MetaCons "EPlus" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Expr) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Expr)) :+: (C1 (MetaCons "EMinus" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Expr) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Expr)) :+: C1 (MetaCons "EMult" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Expr) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Expr)))))) :+: (((C1 (MetaCons "EDiv" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Expr) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Expr)) :+: (C1 (MetaCons "EMod" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Expr) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Expr)) :+: C1 (MetaCons "EEquals" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Expr) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Expr)))) :+: (C1 (MetaCons "ENotEquals" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Expr) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Expr)) :+: (C1 (MetaCons "EGT" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Expr) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Expr)) :+: C1 (MetaCons "EGE" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Expr) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Expr))))) :+: ((C1 (MetaCons "ELT" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Expr) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Expr)) :+: (C1 (MetaCons "ELE" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Expr) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Expr)) :+: C1 (MetaCons "ENot" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Expr)))) :+: ((C1 (MetaCons "EOr" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Expr) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Expr)) :+: C1 (MetaCons "EAnd" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Expr) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Expr))) :+: (C1 (MetaCons "ETernary" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Expr) :: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Expr) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Expr))) :+: C1 (MetaCons "EParen" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Expr)))))))

expression :: Parser Expr Source #

Parse an expression

data Argument a Source #

An item in an argument list

Constructors

Argument a	Just a plain value
NamedArgument Ident a	A named argument

Instances

Eq a => Eq (Argument a) Source #
Instance details Defined in Language.OpenSCAD Methods (==) :: Argument a -> Argument a -> Bool # (/=) :: Argument a -> Argument a -> Bool #
Show a => Show (Argument a) Source #
Instance details Defined in Language.OpenSCAD Methods showsPrec :: Int -> Argument a -> ShowS # show :: Argument a -> String # showList :: [Argument a] -> ShowS #
Generic (Argument a) Source #
Instance details Defined in Language.OpenSCAD Associated Types type Rep (Argument a) :: Type -> Type # Methods from :: Argument a -> Rep (Argument a) x # to :: Rep (Argument a) x -> Argument a #
Arbitrary a => Arbitrary (Argument a) Source #
Instance details Defined in Language.OpenSCAD Methods arbitrary :: Gen (Argument a) # shrink :: Argument a -> [Argument a] #
Pretty a => Pretty (Argument a) Source #
Instance details Defined in Language.OpenSCAD Methods pretty :: Argument a -> Doc ann # prettyList :: [Argument a] -> Doc ann #
type Rep (Argument a) Source #
Instance details Defined in Language.OpenSCAD type Rep (Argument a) = D1 (MetaData "Argument" "Language.OpenSCAD" "language-openscad-0.1.8-inplace" False) (C1 (MetaCons "Argument" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a)) :+: C1 (MetaCons "NamedArgument" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Ident) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a)))

data Range a Source #

Range start end step denotes a list starting at start and stopping at end with increments of step.

Constructors

Range
Fields rangeStart :: a rangeEnd :: a rangeStep :: Maybe a

Instances

Eq a => Eq (Range a) Source #
Instance details Defined in Language.OpenSCAD Methods (==) :: Range a -> Range a -> Bool # (/=) :: Range a -> Range a -> Bool #
Show a => Show (Range a) Source #
Instance details Defined in Language.OpenSCAD Methods showsPrec :: Int -> Range a -> ShowS # show :: Range a -> String # showList :: [Range a] -> ShowS #
Arbitrary a => Arbitrary (Range a) Source #
Instance details Defined in Language.OpenSCAD Methods arbitrary :: Gen (Range a) # shrink :: Range a -> [Range a] #
Pretty a => Pretty (Range a) Source #
Instance details Defined in Language.OpenSCAD Methods pretty :: Range a -> Doc ann # prettyList :: [Range a] -> Doc ann #
Generic1 Range Source #
Instance details Defined in Language.OpenSCAD Associated Types type Rep1 Range :: k -> Type # Methods from1 :: Range a -> Rep1 Range a # to1 :: Rep1 Range a -> Range a #
type Rep1 Range Source #
Instance details Defined in Language.OpenSCAD type Rep1 Range = D1 (MetaData "Range" "Language.OpenSCAD" "language-openscad-0.1.8-inplace" False) (C1 (MetaCons "Range" PrefixI True) (S1 (MetaSel (Just "rangeStart") NoSourceUnpackedness NoSourceStrictness DecidedLazy) Par1 :: (S1 (MetaSel (Just "rangeEnd") NoSourceUnpackedness NoSourceStrictness DecidedLazy) Par1 :: S1 (MetaSel (Just "rangeStep") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec1 Maybe))))