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   }