Language.ImProve.Code.Simulink

Documentation

codeSimulink :: Name -> Statement -> IO ()

data Netlist

Constructors

Netlist

Fields

nextId :: Int

path :: Path

vars :: [Path]

env :: [Name]

blocks :: [(Name, Block)]

nets :: [(Name, (Name, Int))]

data Block

Constructors

Inport Const

Outport Const

UnitDelay Const

Cast String

Assertion

Const' Const

Add'

Sub'

Mul'

Div'

Mod'

Not'

And'

Or'

Eq'

Lt'

Gt'

Le'

Ge'

Mux'

netlist :: Statement -> IO Netlist

Builds a netlist.