Options.UU.OptionsDemo

Synopsis

• data Prefers
  • = Agda
  • | Haskell
• data Address = Address {
  • city_ :: String
  • street_ :: String
  }
• data Name = Name {
  • name_ :: String
  • prefers_ :: Prefers
  • ints_ :: [Int]
  • address_ :: Address
  }
• address :: forall b m. MonadState Name m => StateT Address m b -> m b
• ints :: forall b m. MonadState Name m => StateT [Int] m b -> m b
• prefers :: forall b m. MonadState Name m => StateT Prefers m b -> m b
• name :: forall b m. MonadState Name m => StateT String m b -> m b
• street :: forall b m. MonadState Address m => StateT String m b -> m b
• city :: forall b m. MonadState Address m => StateT String m b -> m b
• defaults :: Name
• oName :: (Gram (P (Str Char String Int)) (Name -> Name), [Char])
• main :: IO ()
• demo :: [[Char]] -> IO ()

Documentation