forge/Vervis
1
0
Fork 0
Code Pull requests Activity
Vervis/src/Yesod/FedURI.hs

96 lines
2.9 KiB
Haskell
Raw Normal View History

New module Yesod.FedURI: Render routes into FedURI and LocalURI
2019-03-20 11:08:36 +01:00
{- This file is part of Vervis.
-
- Written 2019 by fr33domlover <fr33domlover@riseup.net>.
-
- ♡ Copying is an act of love. Please copy, reuse and share.
-
- The author(s) have dedicated all copyright and related and neighboring
- rights to this software to the public domain worldwide. This software is
- distributed without any warranty.
-
- You should have received a copy of the CC0 Public Domain Dedication along
- with this software. If not, see
- <http://creativecommons.org/publicdomain/zero/1.0/>.
-}
module Yesod.FedURI
New Network.FedURI with separate URI modes for dev and for fediverse FedURIs, until now, have been requiring HTTPS, and no port number, and DNS internet domain names. This works just fine on the forge fediverse, but it makes local dev builds much less useful. This patch introduces URI types that have a type tag specifying one of 2 modes: - `Dev`: Works with URIs like `http://localhost:3000/s/fr33` - `Fed`: Works with URIs like `https://dev.community/s/fr33` This should allow even to run multiple federating instances for development, without needing TLS or reverse proxies or editing the hosts files or anything like that.
2019-07-23 15:59:48 +02:00
( SiteFedURI (..)
, getEncodeRouteLocal
Implement getOutboxR, both (trivial) HTML and AS2
2019-05-21 01:51:06 +02:00
, getEncodeRouteHome
, getEncodeRouteFed
Create Note outbox handler, not in use yet I wrote a function handleOutboxNote that's supposed to do the whole outbox POST handler process. There's an outbox item table in the DB now, I adapted things in various source files. Ticket comment federation work is still in progress.
2019-03-28 22:08:30 +01:00
, decodeRouteLocal
Implement getOutboxR, both (trivial) HTML and AS2
2019-05-21 01:51:06 +02:00
, getEncodeRoutePageLocal
, getEncodeRoutePageHome
, getEncodeRoutePageFed
New module Yesod.FedURI: Render routes into FedURI and LocalURI
2019-03-20 11:08:36 +01:00
)
where
Create Note outbox handler, not in use yet I wrote a function handleOutboxNote that's supposed to do the whole outbox POST handler process. There's an outbox item table in the DB now, I adapted things in various source files. Ticket comment federation work is still in progress.
2019-03-28 22:08:30 +01:00
import Data.Text.Encoding
import Network.HTTP.Types.URI
New module Yesod.FedURI: Render routes into FedURI and LocalURI
2019-03-20 11:08:36 +01:00
import Yesod.Core
Create Note outbox handler, not in use yet I wrote a function handleOutboxNote that's supposed to do the whole outbox POST handler process. There's an outbox item table in the DB now, I adapted things in various source files. Ticket comment federation work is still in progress.
2019-03-28 22:08:30 +01:00
import qualified Data.Text as T
New module Yesod.FedURI: Render routes into FedURI and LocalURI
2019-03-20 11:08:36 +01:00
import Network.FedURI
Yesod.FedURI and Yesod.Hashids switch from MonadHandler to MonadSite
2019-06-14 19:21:38 +02:00
import Yesod.MonadSite
New module Yesod.FedURI: Render routes into FedURI and LocalURI
2019-03-20 11:08:36 +01:00
Implement getOutboxR, both (trivial) HTML and AS2
2019-05-21 01:51:06 +02:00
import Yesod.Paginate.Local
New Network.FedURI with separate URI modes for dev and for fediverse FedURIs, until now, have been requiring HTTPS, and no port number, and DNS internet domain names. This works just fine on the forge fediverse, but it makes local dev builds much less useful. This patch introduces URI types that have a type tag specifying one of 2 modes: - `Dev`: Works with URIs like `http://localhost:3000/s/fr33` - `Fed`: Works with URIs like `https://dev.community/s/fr33` This should allow even to run multiple federating instances for development, without needing TLS or reverse proxies or editing the hosts files or anything like that.
2019-07-23 15:59:48 +02:00
class UriMode (SiteFedURIMode site) => SiteFedURI site where
type SiteFedURIMode site
Implement getOutboxR, both (trivial) HTML and AS2
2019-05-21 01:51:06 +02:00
New Network.FedURI with separate URI modes for dev and for fediverse FedURIs, until now, have been requiring HTTPS, and no port number, and DNS internet domain names. This works just fine on the forge fediverse, but it makes local dev builds much less useful. This patch introduces URI types that have a type tag specifying one of 2 modes: - `Dev`: Works with URIs like `http://localhost:3000/s/fr33` - `Fed`: Works with URIs like `https://dev.community/s/fr33` This should allow even to run multiple federating instances for development, without needing TLS or reverse proxies or editing the hosts files or anything like that.
2019-07-23 15:59:48 +02:00
getEncodeRouteHome
:: (MonadSite m, SiteEnv m ~ site, SiteFedURI site)
=> m (Route site -> ObjURI (SiteFedURIMode site))
Yesod.FedURI and Yesod.Hashids switch from MonadHandler to MonadSite
2019-06-14 19:21:38 +02:00
getEncodeRouteHome = toFed <$> askUrlRender
New module Yesod.FedURI: Render routes into FedURI and LocalURI
2019-03-20 11:08:36 +01:00
where
toFed renderUrl route =
New Network.FedURI with separate URI modes for dev and for fediverse FedURIs, until now, have been requiring HTTPS, and no port number, and DNS internet domain names. This works just fine on the forge fediverse, but it makes local dev builds much less useful. This patch introduces URI types that have a type tag specifying one of 2 modes: - `Dev`: Works with URIs like `http://localhost:3000/s/fr33` - `Fed`: Works with URIs like `https://dev.community/s/fr33` This should allow even to run multiple federating instances for development, without needing TLS or reverse proxies or editing the hosts files or anything like that.
2019-07-23 15:59:48 +02:00
case parseObjURI $ renderUrl route of
Left e -> error $ "askUrlRender produced invalid ObjURI: " ++ e
New module Yesod.FedURI: Render routes into FedURI and LocalURI
2019-03-20 11:08:36 +01:00
Right u -> u
New Network.FedURI with separate URI modes for dev and for fediverse FedURIs, until now, have been requiring HTTPS, and no port number, and DNS internet domain names. This works just fine on the forge fediverse, but it makes local dev builds much less useful. This patch introduces URI types that have a type tag specifying one of 2 modes: - `Dev`: Works with URIs like `http://localhost:3000/s/fr33` - `Fed`: Works with URIs like `https://dev.community/s/fr33` This should allow even to run multiple federating instances for development, without needing TLS or reverse proxies or editing the hosts files or anything like that.
2019-07-23 15:59:48 +02:00
getEncodeRouteLocal
:: (MonadSite m, SiteEnv m ~ site, SiteFedURI site)
=> m (Route site -> LocalURI)
getEncodeRouteLocal = (objUriLocal .) <$> getEncodeRouteHome
getEncodeRouteFed
:: ( MonadSite m
, SiteEnv m ~ site
, SiteFedURI site
, SiteFedURIMode site ~ u
)
=> m (Authority u -> Route site -> ObjURI u)
getEncodeRouteFed = (\ f a -> ObjURI a . f) <$> getEncodeRouteLocal
Create Note outbox handler, not in use yet I wrote a function handleOutboxNote that's supposed to do the whole outbox POST handler process. There's an outbox item table in the DB now, I adapted things in various source files. Ticket comment federation work is still in progress.
2019-03-28 22:08:30 +01:00
decodeRouteLocal :: ParseRoute site => LocalURI -> Maybe (Route site)
decodeRouteLocal =
New Network.FedURI with separate URI modes for dev and for fediverse FedURIs, until now, have been requiring HTTPS, and no port number, and DNS internet domain names. This works just fine on the forge fediverse, but it makes local dev builds much less useful. This patch introduces URI types that have a type tag specifying one of 2 modes: - `Dev`: Works with URIs like `http://localhost:3000/s/fr33` - `Fed`: Works with URIs like `https://dev.community/s/fr33` This should allow even to run multiple federating instances for development, without needing TLS or reverse proxies or editing the hosts files or anything like that.
2019-07-23 15:59:48 +02:00
parseRoute . (,[]) . decodePathSegments . encodeUtf8 . localUriPath
Implement getOutboxR, both (trivial) HTML and AS2
2019-05-21 01:51:06 +02:00
getEncodeRoutePageLocal
New Network.FedURI with separate URI modes for dev and for fediverse FedURIs, until now, have been requiring HTTPS, and no port number, and DNS internet domain names. This works just fine on the forge fediverse, but it makes local dev builds much less useful. This patch introduces URI types that have a type tag specifying one of 2 modes: - `Dev`: Works with URIs like `http://localhost:3000/s/fr33` - `Fed`: Works with URIs like `https://dev.community/s/fr33` This should allow even to run multiple federating instances for development, without needing TLS or reverse proxies or editing the hosts files or anything like that.
2019-07-23 15:59:48 +02:00
:: (MonadSite m, SiteEnv m ~ site, SiteFedURI site, YesodPaginate site)
=> m (Route site -> Int -> LocalPageURI)
getEncodeRoutePageLocal =
(\ f r n -> pageUriLocal $ f r n) <$> getEncodeRoutePageHome
Implement getOutboxR, both (trivial) HTML and AS2
2019-05-21 01:51:06 +02:00
getEncodeRoutePageHome
New Network.FedURI with separate URI modes for dev and for fediverse FedURIs, until now, have been requiring HTTPS, and no port number, and DNS internet domain names. This works just fine on the forge fediverse, but it makes local dev builds much less useful. This patch introduces URI types that have a type tag specifying one of 2 modes: - `Dev`: Works with URIs like `http://localhost:3000/s/fr33` - `Fed`: Works with URIs like `https://dev.community/s/fr33` This should allow even to run multiple federating instances for development, without needing TLS or reverse proxies or editing the hosts files or anything like that.
2019-07-23 15:59:48 +02:00
:: (MonadSite m, SiteEnv m ~ site, SiteFedURI site, YesodPaginate site)
=> m (Route site -> Int -> PageURI (SiteFedURIMode site))
Implement getOutboxR, both (trivial) HTML and AS2
2019-05-21 01:51:06 +02:00
getEncodeRoutePageHome = do
encodeRouteHome <- getEncodeRouteHome
Yesod.FedURI and Yesod.Hashids switch from MonadHandler to MonadSite
2019-06-14 19:21:38 +02:00
param <- asksSite sitePageParamName
New Network.FedURI with separate URI modes for dev and for fediverse FedURIs, until now, have been requiring HTTPS, and no port number, and DNS internet domain names. This works just fine on the forge fediverse, but it makes local dev builds much less useful. This patch introduces URI types that have a type tag specifying one of 2 modes: - `Dev`: Works with URIs like `http://localhost:3000/s/fr33` - `Fed`: Works with URIs like `https://dev.community/s/fr33` This should allow even to run multiple federating instances for development, without needing TLS or reverse proxies or editing the hosts files or anything like that.
2019-07-23 15:59:48 +02:00
return $ \ route page ->
let ObjURI a l = encodeRouteHome route
in PageURI a $ LocalPageURI l param page
Implement getOutboxR, both (trivial) HTML and AS2
2019-05-21 01:51:06 +02:00
getEncodeRoutePageFed
New Network.FedURI with separate URI modes for dev and for fediverse FedURIs, until now, have been requiring HTTPS, and no port number, and DNS internet domain names. This works just fine on the forge fediverse, but it makes local dev builds much less useful. This patch introduces URI types that have a type tag specifying one of 2 modes: - `Dev`: Works with URIs like `http://localhost:3000/s/fr33` - `Fed`: Works with URIs like `https://dev.community/s/fr33` This should allow even to run multiple federating instances for development, without needing TLS or reverse proxies or editing the hosts files or anything like that.
2019-07-23 15:59:48 +02:00
:: ( MonadSite m
, SiteEnv m ~ site
, SiteFedURI site
, YesodPaginate site
, SiteFedURIMode site ~ u
)
=> m (Authority u -> Route site -> Int -> PageURI u)
getEncodeRoutePageFed =
(\ f a r n -> PageURI a $ f r n) <$> getEncodeRoutePageLocal
Copy permalink