git.iko.soy/ormolu
on d82d607 help sign in
ormolu/data/examples/declaration/class/dependency-super-classes.hs
22 lines 474 B history raw
1{-# LANGUAGE FunctionalDependencies #-}
3-- | Something.
4class ( MonadReader r s,MonadWriter w m ) => MonadState s m| m -> s where
5 get :: m s
6 put :: s -> m ()
8-- | 'MonadParsec'
10class (
11 Stream s, -- Token streams
12 MonadPlus m -- Potential for failure
13 ) => MonadParsec e s m | m -> e s
14 where
15 -- | 'getState' returns state
16 getState
17 ::
18 m s
19 -- | 'putState' sets state
20 putState ::
21 s
22 -> m ()