MonadState.hs

{-# LANGUAGE ScopedTypeVariables, PolymorphicComponents #-}
{-# LANGUAGE MultiParamTypeClasses, FunctionalDependencies #-}
-- .$Header: c:/Source/Haskell/Wrapper/Data/Flex/RCS/MonadState.hs,v 1.1 2011/03/05 01:03:51 dosuser Exp dosuser $
module Data.Flex.MonadState where

class FWMonadState (m :: * -> *) r | m -> r

data FWDefaultMonadState = FWDefaultMonadState

data FWGet t s (m :: * -> *) = FWGet

{-
newtype WrapGet s m = WrapGet {unwrapGet :: m s}
-}

data FWPut t s (m :: * -> *) = FWPut

{-
newtype WrapPut s m = WrapPut {unwrapPut :: s -> m ()}
-}

-- vim: expandtab:tabstop=4:shiftwidth=4