| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Cooked.Tweak
Description
This module centralizes Tweaks, that is state-aware skeleton
modifications. These tweaks can be used on specific skeletons, or deployed in
time using Ltl
Documentation
module Cooked.Tweak.Update
module Cooked.Tweak.Remove
module Cooked.Tweak.Query
module Cooked.Tweak.Modify
module Cooked.Tweak.Insert
module Cooked.Tweak.Guard
module Cooked.Tweak.Common