soupi

{-# LANGUAGE ViewPatterns, TupleSections #-}

import qualified Data.Map as M
import qualified Data.Set as S
import qualified Data.Sequence as Seq
import Control.Monad.Except

type User = String
type From = User
type To = User

soupi

module Main (main) where

import Control.Monad (forever, unless)
import qualified Data.ByteString.Char8 as C
import Network.Socket
import Network.Run.TCP (runTCPClient)
import Network.Socket.ByteString (recv, sendAll)
import System.IO (hFlush, stdout)

main :: IO ()

soupi

   5,249,078,184 bytes allocated in the heap
     234,375,952 bytes copied during GC
       9,022,600 bytes maximum residency (8 sample(s))
       1,733,392 bytes maximum slop
              24 MiB total memory in use (0 MB lost due to fragmentation)

                                     Tot time (elapsed)  Avg pause  Max pause
  Gen  0      5100 colls,     0 par    0.323s   0.328s     0.0001s    0.0005s
  Gen  1         8 colls,     0 par    0.020s   0.020s     0.0025s    0.0056s

soupi

{-# LANGUAGE OverloadedStrings #-}
module Main (main) where

import Web.Scotty

import Control.Monad.IO.Class

import Network.Wai.Middleware.RequestLogger
import Network.Wai.Middleware.Static
import Network.Wai.Parse

soupi

{-# options_ghc -Wall #-}
{-# language LambdaCase #-}

-- | Run repl with:
--
-- > cabal repl --build-depends containers --build-depends mtl
--
-- or
--
-- > stack exec --package containers --package mtl -- ghci

soupi

#!/usr/bin/env cabal
{- cabal:
build-depends: base, mtl, containers, uniplate
ghc-options: -Wall
-}

-- | An example of a kind inference for data types using
-- unification-based constraint solving.
--
-- See the blog post:

soupi

#!/usr/bin/env cabal
{- cabal:
build-depends: base, mtl, containers, uniplate
ghc-options: -Wall
-}


-- | An example of a kind inference for data types using
-- unification-based constraint solving.
--