codedmart

-- Only difference I was trying is
instance Enter (m a) (m :~> n) (n a)  where
        enter (Nat f) = f
        enter (Raw a) = a

codedmart

// Error: Uncaught Error: Invariant Violation: You cannot nest path "/:username/favorites" inside "/:username"; the parent requires URL parameters

<Route name='user' path='/:username' handler={User}>
    <DefaultRoute name='userDesigns' handler={UserDesigns}/>
    <Route name='userFavorites' path='/:username/favorites' handler={UserFavorites}/>
</Route>

codedmart

package main

import "fmt"

type Lx func(int) int
type Fx func(int) Lx
type Mx func(int) Fx

func cmbSum(a int, b int) Mx {
	return func(c int) Fx {

codedmart

verify j = case J.verify (J.secret $ pack "secret-key") =<< J.decode j of
    Nothing -> return Nothing
    Just j -> do
        r <- expired j
        case r of
            Just True -> return $ Just j
            _ -> return Nothing

codedmart

create d t = do
    r <- runDB $ t R.# R.insert (R.toDatum d)
    return . maybeHelper $ insertKey r

codedmart

import System.Random
 
-- takes a random generator and returns a list of strings of 50 chars
start_population :: (RandomGen g) => g -> [[Char]]
start_population gen =
  [take 50 $ randomRs ('A', 'z') gen | x <- [0..]]
 
main = do
  randomGen <- newStdGen  -- get a random generator
 

codedmart

instance ToDatum (Ratio Integer) where
  toDatum a = toDatum (parseRational a)

parseRational :: Rational -> Double
parseRational = fromRational

codedmart

-- Looks like run h $ line [[1,2],[3,4],[5,6]] :: IO Line was not matching on Array v so was falling to mempty
-- This solution return (in Show form) fromList [LonLat 1 2,LonLat 3 4,LonLat 5 6]
instance FromDatum a => FromDatum (Vector a) where
  parseDatum (Array v) = fmap V.fromList . mapM parseDatum $ V.toList v
  parseDatum (Line l) = fmap V.fromList . mapM (parseDatum . toDatum) $ V.toList l
  parseDatum _ = mempty

codedmart

### Failure in ./Database/RethinkDB/Functions.hs:409: expression `run' h $ table "posts" # group (!"author") (reduce (\a b -> a + "\n" + b) . R.map (!"message"))'
expected: [{"group":"bill","reduction":"hi\nhello"},{"group":"bob","reduction":"lorem ipsum"}]
 but got: [{"group":"bill","reduction":"hello\nhi"},{"group":"bob","reduction":"lorem ipsum"}]

codedmart

diff --git a/Database/RethinkDB/Network.hs b/Database/RethinkDB/Network.hs
index 74cb1d9..feec063 100644
--- a/Database/RethinkDB/Network.hs
+++ b/Database/RethinkDB/Network.hs
@@ -28,10 +28,10 @@ import Control.Monad (when, forever, forM_)
 import Data.Typeable (Typeable)
 import Network (HostName)
 import Network.Socket (
-  socket, Family(AF_INET), SocketType(Stream), sClose, SockAddr(SockAddrInet), setSocketOption, SocketOption(NoDelay),
-  Socket)