Safe Haskell | None |
---|
- data Options = Options {
- platform :: Platform
- unroll :: UnrollStrategy
- debug :: DebugOption
- memoryInfoVisible :: Bool
- rules :: [Rule]
- data UnrollStrategy
- data DebugOption
- data Platform = Platform {
- name :: String
- types :: [(Type, String, String)]
- values :: [(Type, ShowValue)]
- includes :: [String]
- platformRules :: [Rule]
- isRestrict :: IsRestrict
- type ShowValue = Constant () -> String
- data IsRestrict
- = Restrict
- | NoRestrict
- data Action t
- data Rule where
- rule :: (Interface t, Typeable (Repr t)) => (t -> [Action (Repr t)]) -> Rule
- replaceWith :: Interface t => t -> Action (Repr t)
- propagate :: (Interface t, Typeable (Repr t)) => (t -> [Action (Repr t)]) -> Action t'
Documentation
Options | |
|
Actions and rules
replaceWith :: Interface t => t -> Action (Repr t)Source