flp-0.1.0.0: A layout spec language for memory managers implemented in Rust.

Safe HaskellSafe
LanguageHaskell2010

Language.Floorplan.Syntax

Synopsis

Documentation

type LayerID = String Source #

type FormalID = String Source #

type FlagID = String Source #

type FieldID = String Source #

data Primitive Source #

Constructors

Page 
Word 
Byte 
Bit 
Instances
Eq Primitive Source # 
Instance details

Defined in Language.Floorplan.Syntax

Methods

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

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

Ord Primitive Source # 
Instance details

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 Source # 
Instance details

Defined in Language.Floorplan.Syntax

Methods

readsPrec :: Int -> ReadS Primitive #

readList :: ReadS [Primitive] #

readPrec :: ReadPrec Primitive #

readListPrec :: ReadPrec [Primitive] #

Show Primitive Source # 
Instance details

Defined in Language.Floorplan.Syntax

Methods

showsPrec :: Int -> Primitive -> ShowS #

show :: Primitive -> String #

showList :: [Primitive] -> ShowS #

lexeme2prim :: [Char] -> Maybe Primitive Source #

data Demarc Source #

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

Instances
Eq Demarc Source # 
Instance details

Defined in Language.Floorplan.Syntax

Methods

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

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

Ord Demarc Source # 
Instance details

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 Source # 
Instance details

Defined in Language.Floorplan.Syntax

Methods

showsPrec :: Int -> Demarc -> ShowS #

show :: Demarc -> String #

showList :: [Demarc] -> ShowS #

free_vars :: Demarc -> [FormalID] Source #

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

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

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

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

data Arg Source #

Constructors

ArgL Literal 
ArgF FormalID 
Instances
Eq Arg Source # 
Instance details

Defined in Language.Floorplan.Syntax

Methods

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

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

Ord Arg Source # 
Instance details

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 Source # 
Instance details

Defined in Language.Floorplan.Syntax

Methods

showsPrec :: Int -> Arg -> ShowS #

show :: Arg -> String #

showList :: [Arg] -> ShowS #

type Literal = Int Source #

bin2int :: String -> Int Source #

data LitArith Source #

Constructors

Plus LitArith LitArith 
Minus LitArith LitArith 
Times LitArith LitArith 
Div LitArith LitArith 
Exponent LitArith LitArith 
Lit Literal 
Instances
Eq LitArith Source # 
Instance details

Defined in Language.Floorplan.Syntax

Methods

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

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

Ord LitArith Source # 
Instance details

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 Source # 
Instance details

Defined in Language.Floorplan.Syntax

Methods

showsPrec :: Int -> LitArith -> ShowS #

show :: LitArith -> String #

showList :: [LitArith] -> ShowS #

data SizeArith Source #

Constructors

SizePlus SizeArith SizeArith 
SizeMinus SizeArith SizeArith 
SizeLit (Maybe LitArith) Primitive 
Instances
Eq SizeArith Source # 
Instance details

Defined in Language.Floorplan.Syntax

Methods

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

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

Ord SizeArith Source # 
Instance details

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 Source # 
Instance details

Defined in Language.Floorplan.Syntax

Methods

showsPrec :: Int -> SizeArith -> ShowS #

show :: SizeArith -> String #

showList :: [SizeArith] -> ShowS #