master..243d356 · reflex-route-simple

Readme.md+1−1

@@ -75,7 +75,7 @@ The `Proxy`s are useful because you can over over them in a sufficiently smart e

75We can now run our routes, supplying a lambda that looks through all possible routes and decides what page should be displayed. You can pattern-match on the exact same structures we used earlier to create the routes:

76

77```haskell

78−bodyW :: MonadWidget t m => m ()

78+bodyW :: MonadWidget t m => Model -> m ()

79bodyW = runRouteT' \case

80 Nothing -> articlesW

81 Just IndexR -> articlesW

default.nix−1

@@ -56,7 +56,6 @@ let

56 ./cabal.project

57 ];

58 };

59− flags.example = true;

60 };

59 };

61 }

60 }

62 ];

61 ];

reflex-route-simple.cabal+2−8

@@ -4,10 +4,6 @@ version: 0.1.0.0

4author: Ilya Kostyuchenko

5maintainer: ilyakooo0@gmail.com

6

7−flag example

8− default: False

9− manual: True

10−

11library

7library

12 exposed-modules:

8 exposed-modules:

13 Reflex.Dom.Route.Simple,

9 Reflex.Dom.Route.Simple,

@@ -94,10 +90,8 @@ executable reflex-route-simple-example

94 reflex-dom,

90 reflex-dom,

95 reflex-route-simple,

91 reflex-route-simple,

96 text,

92 text,

97− containers

93+ containers,

98− if flag(example)

99− build-depends:

100− lorem

94+ lorem

101 hs-source-dirs: app

95 hs-source-dirs: app

102 default-language: Haskell2010

96 default-language: Haskell2010

103 ghc-options:

97 ghc-options:

src/Reflex/Dom/Route/Simple/Internal/MonadRoute.hs−6

@@ -67,12 +67,6 @@ instance HasJSContext m => HasJSContext (RouteT t r m) where

67

68instance (Monad m, MonadRoute r t m) => MonadRoute r t (ReaderT r' m)

69

70−instance (Monad m, MonadRoute r t m) => MonadRoute r t (EventWriterT t w m)

71−

72−instance (Monad m, MonadReader r m) => MonadReader r (RouteT t u m) where

73− ask = lift ask

74− local f (RouteT m) = RouteT $ local f m

75−

76instance Requester t m => Requester t (RouteT t r m) where

70instance Requester t m => Requester t (RouteT t r m) where

77 type Request (RouteT t r m) = Request m

71 type Request (RouteT t r m) = Request m

78 type Response (RouteT t r m) = Response m

72 type Response (RouteT t r m) = Response m