module GUIgeneric.PreludeGUI where -- -- ooAgda Imports -- open import NativeIO public -- open import StateSizedIO.Base hiding (IOInterfaceˢ; IOˢ; IOˢ'; IOˢ+; delayˢ; execˢ; fmapˢ; fmapˢ'; returnˢ) public open import SizedIO.Base public -- Graphic lib -- open import StateSizedIO.GUI.WxGraphicsLibLevel3 {-WithDB-} public renaming (createFrame to createWxFrame) hiding (main) -- WxHaskell -- open import StateSizedIO.GUI.WxBindingsFFI renaming (Frame to FFIFrame; Button to FFIButton; TextCtrl to FFITextCtrl) public -- -- open import StateSizedIO.GUI.BaseStateDependent public open import StateSizedIO.GUI.VariableList renaming (addVar to addVar'; addVar' to addVar) public -- test : {!!} -- test = IOˢ