never executed always true always false
1 module HelVM.HelMA.Automata.ETA.SimpleParams where
2
3 import HelVM.HelMA.Automata.ETA.API.ETAImplType
4
5 import HelVM.HelMA.Automaton.API.AutoOptions
6 import HelVM.HelMA.Automaton.API.IOTypes
7
8 import HelVM.HelMA.Automaton.Types.StackType
9
10 simpleParams :: ETAImplType -> StackType-> Source -> SimpleParams
11 simpleParams it st s = SimpleParams
12 { implType = it
13 , source = s
14 , stackType = st
15 , autoOptions = simpleAutoParams
16 }
17
18 -- | Type
19 data SimpleParams = SimpleParams
20 { implType :: !ETAImplType
21 , source :: !Source
22 , stackType :: !StackType
23 , autoOptions :: !AutoOptions
24 }