Language.Floorplan.Syntax

Documentation

type LayerID = String

type FormalID = String

type FlagID = String

type FieldID = String

data Primitive

Constructors

Page

Word

Byte

Bit

Instances

Eq Primitive

Defined in Language.Floorplan.Syntax

Methods

(==) :: Primitive -> Primitive -> Bool

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

Ord Primitive

Defined in Language.Floorplan.Syntax

Methods

compare :: Primitive -> Primitive -> Ordering

(<) :: Primitive -> Primitive -> Bool

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

(>) :: Primitive -> Primitive -> Bool

(>=) :: Primitive -> Primitive -> Bool

max :: Primitive -> Primitive -> Primitive

min :: Primitive -> Primitive -> Primitive

Read Primitive

Defined in Language.Floorplan.Syntax

Methods

readsPrec :: Int -> ReadS Primitive

readList :: ReadS [Primitive]

readPrec :: ReadPrec Primitive

readListPrec :: ReadPrec [Primitive]

Show Primitive

Defined in Language.Floorplan.Syntax

Methods

showsPrec :: Int -> Primitive -> ShowS

show :: Primitive -> String

showList :: [Primitive] -> ShowS

lexeme2prim :: [Char] -> Maybe Primitive

data Demarc

Constructors

Enum [FlagID]

Bits [(FieldID, SizeArith)]

Union [Demarc]

Seq [Demarc]

PtrF FieldID

PtrL LayerID

Blob SizeArith

Graft (LayerID, [Arg])

Field FieldID Demarc

Pound Demarc

Repetition FormalID Demarc

Layer

Fields

• name :: LayerID
• formals :: [FormalID]
• magnitude :: Maybe SizeArith
• alignment :: Maybe SizeArith
• magAlign :: Maybe SizeArith
• contains :: [LayerID]
• rhs :: Demarc

Instances

Eq Demarc

Defined in Language.Floorplan.Syntax

Methods

(==) :: Demarc -> Demarc -> Bool

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

Ord Demarc

Defined in Language.Floorplan.Syntax

Methods

compare :: Demarc -> Demarc -> Ordering

(<) :: Demarc -> Demarc -> Bool

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

(>) :: Demarc -> Demarc -> Bool

(>=) :: Demarc -> Demarc -> Bool

max :: Demarc -> Demarc -> Demarc

min :: Demarc -> Demarc -> Demarc

Show Demarc

Defined in Language.Floorplan.Syntax

Methods

showsPrec :: Int -> Demarc -> ShowS

show :: Demarc -> String

showList :: [Demarc] -> ShowS

free_vars :: Demarc -> [FormalID]

accum :: (Demarc -> Maybe a) -> Demarc -> [a]

countMatches :: (Demarc -> Bool) -> Demarc -> Int

fmapD :: (Demarc -> (Demarc, Bool)) -> Demarc -> (Demarc, Bool)

Bool is whether or not anything was changed (so no need to do Eq check in fixed-point transformations)

data Arg

Constructors

ArgL Literal

ArgF FormalID

Instances

Eq Arg

Defined in Language.Floorplan.Syntax

Methods

(==) :: Arg -> Arg -> Bool

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

Ord Arg

Defined in Language.Floorplan.Syntax

Methods

compare :: Arg -> Arg -> Ordering

(<) :: Arg -> Arg -> Bool

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

(>) :: Arg -> Arg -> Bool

(>=) :: Arg -> Arg -> Bool

max :: Arg -> Arg -> Arg

min :: Arg -> Arg -> Arg

Show Arg

Defined in Language.Floorplan.Syntax

Methods

showsPrec :: Int -> Arg -> ShowS

show :: Arg -> String

showList :: [Arg] -> ShowS

type Literal = Int

bin2int :: String -> Int

data LitArith

Constructors

Plus LitArith LitArith

Minus LitArith LitArith

Times LitArith LitArith

Div LitArith LitArith

Exponent LitArith LitArith

Lit Literal

Instances

Eq LitArith

Defined in Language.Floorplan.Syntax

Methods

(==) :: LitArith -> LitArith -> Bool

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

Ord LitArith

Defined in Language.Floorplan.Syntax

Methods

compare :: LitArith -> LitArith -> Ordering

(<) :: LitArith -> LitArith -> Bool

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

(>) :: LitArith -> LitArith -> Bool

(>=) :: LitArith -> LitArith -> Bool

max :: LitArith -> LitArith -> LitArith

min :: LitArith -> LitArith -> LitArith

Show LitArith

Defined in Language.Floorplan.Syntax

Methods

showsPrec :: Int -> LitArith -> ShowS

show :: LitArith -> String

showList :: [LitArith] -> ShowS

data SizeArith

Constructors

SizePlus SizeArith SizeArith

SizeMinus SizeArith SizeArith

SizeLit (Maybe LitArith) Primitive

Instances

Eq SizeArith

Defined in Language.Floorplan.Syntax

Methods

(==) :: SizeArith -> SizeArith -> Bool

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

Ord SizeArith

Defined in Language.Floorplan.Syntax

Methods

compare :: SizeArith -> SizeArith -> Ordering

(<) :: SizeArith -> SizeArith -> Bool

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

(>) :: SizeArith -> SizeArith -> Bool

(>=) :: SizeArith -> SizeArith -> Bool

max :: SizeArith -> SizeArith -> SizeArith

min :: SizeArith -> SizeArith -> SizeArith

Show SizeArith

Defined in Language.Floorplan.Syntax

Methods

showsPrec :: Int -> SizeArith -> ShowS

show :: SizeArith -> String

showList :: [SizeArith] -> ShowS