philopon

module Main where

import Data.Maybe
import Debug.Trace
import Data.JSON
import Network.XHR

main = get defaultAjaxOptions
  { onReadyStateChange = onSuccess $ \response -> do
      txt <- getResponseText response

philopon

#!/usr/bin/env python3

from html.parser import HTMLParser
import sys
import os.path

class Parser(HTMLParser):
    def handle_starttag(self, tag, attrs):
        if tag == 'a':
            path = None

philopon

import Text(asText)

main = asText "Hello, world!"

philopon

{-# LANGUAGE OverloadedStrings #-}

import Network.Wai.Handler.Warp
import Web.Apiary.Heroku

main :: IO ()
main = runHeroku run def $
    action (bytes "Hello, world!")

philopon

{-# LANGUAGE ConstraintKinds #-}
{-# LANGUAGE TypeOperators #-}
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE DataKinds #-}

import GHC.TypeLits
import GHC.Exts(Constraint)

data MbNat
    = D

philopon

import Control.Monad
import Control.Applicative
import System.IO.Unsafe
import Foreign.C
import Foreign.ForeignPtr
import Foreign.Marshal
import Foreign.Storable

newtype FInt = FInt (ForeignPtr CInt)

philopon

{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE UndecidableInstances #-}
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE OverlappingInstances #-}
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE GADTs #-}
{-# LANGUAGE TypeOperators #-}
{-# LANGUAGE KindSignatures #-}
{-# LANGUAGE NoImplicitPrelude #-}
{-# LANGUAGE StandaloneDeriving #-}

philopon

{-# LANGUAGE CPP #-}
{-# LANGUAGE DeriveDataTypeable #-}
{-# LANGUAGE OverlappingInstances #-}
{-# LANGUAGE TypeOperators #-}
{-# LANGUAGE FunctionalDependencies #-}
{-# LANGUAGE ConstraintKinds #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE KindSignatures #-}
{-# LANGUAGE TypeFamilies #-}

philopon

{-# LANGUAGE ExistentialQuantification #-}
{-# LANGUAGE ConstraintKinds #-}
{-# LANGUAGE KindSignatures #-}
{-# LANGUAGE TypeOperators #-}
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE FlexibleContexts #-}

philopon

import Data.Monoid
import Data.Char
import Text.Read
import Options.Applicative

data Mode = Foo | Bar | Baz deriving (Show, Read, Enum, Bounded)

data Options = Options
    { verbose        :: Bool
    , limit          :: Int