This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
{-# LANGUAGE QuasiQuotes #-} | |
module MyFailure where | |
import Data.Text (Text, unpack) | |
import URI.ByteString | |
import URI.ByteString.QQ | |
-- | Query Parameter Representation | |
data OAuth2 = OAuth2 |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#!/bin/bash | |
rm test.o | |
ghc -rtsopts -threaded test.hs | |
# run like the following | |
# GHC_DEBUG_SOCKET=/tmp/ghc-debug ./test +RTS -M1G |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
module A where | |
dep :: IO () | |
dep = putStrLn "dep." |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
module A where | |
irrelevant :: IO () | |
irrelevant = putStrLn "irrelevant" |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
nix-shell ~/repo/src/HROOT/use.nix --arg "fficxxSrc" ~/repo/src/fficxx --run "ghc graphApp.hs" | |
./graphApp |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
let | |
machine = | |
{ config, resources, pkgs, ... }: | |
let | |
kpkgs = | |
with pkgs; | |
let linux_4_19_80 = callPackage ../../nix/linux-4.19.80.nix { | |
kernelPatches = |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
module Main where | |
{- an example how to select from a list | |
not satisfactory yet: | |
- there should be a simpler way to render a simple list | |
- i could not convert the model i got back to a list | |
from which to get the value | |
- the interface offers a great number of functions | |
and it is very difficult to find which ones are | |
really needed for simple tasks |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
import Control.Concurrent | |
import Data.Monoid ((<>)) | |
import XMonad hiding ( (|||) ) | |
import XMonad.Actions.CopyWindow | |
import XMonad.Actions.Navigation2D | |
import XMonad.Actions.UpdatePointer | |
import XMonad.Actions.WindowBringer | |
import XMonad.Config.Gnome | |
import XMonad.Hooks.ManageDocks | |
import XMonad.Hooks.DynamicLog |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
<!DOCTYPE html> | |
<html> | |
<head> | |
<script language="javascript" src="lib.js"></script> | |
<script language="javascript" src="rts.js"></script> | |
<script language="javascript" src="lib1.js"></script> | |
<script language="javascript" src="out.js"></script> | |
</head> | |
<body> | |
<canvas id="mycanvas" width="600" height="400"></canvas> |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
module Foo where | |
import Foreign.C.Types (CInt(..)) | |
import Foreign.Ptr (Ptr,FunPtr) | |
func :: CInt -> CInt -> CInt | |
func j i = j + i+1 | |
foreign import ccall "wrapper" mkFPtr :: (CInt -> CInt) -> IO (FunPtr (CInt -> CInt)) |
NewerOlder