adetokunbo

Keybase proof

I hereby claim:

• I am adetokunbo on github.
• I am tbetbetbe (https://keybase.io/tbetbetbe) on keybase.
• I have a public key ASDFJwG7GPPX9h1kepDRx_dlhWRx6ZfswDjuhCY-n3-PdAo

To claim this, I am signing this object:

adetokunbo

;; -*- mode: emacs-lisp -*-
;; This file is loaded by Spacemacs at startup.
;; It must be stored in your home directory.

(defun dotspacemacs/layers ()
  "Configuration Layers declaration.
You should not put any user code in this function besides modifying the variable
values."
  (setq-default
   ;; Base distribution to use. This is a layer contained in the directory

adetokunbo

;;; ...
;;; ...

;; List of additional packages that will be installed without being
   ;; wrapped in a layer. If you need some configuration for these
   ;; packages, then consider creating a layer. You can also put the
   ;; configuration in `dotspacemacs/user-config'.
   ;; Cabal/Nix haskell  setup
   dotspacemacs-additional-packages '(dante nix-sandbox)

adetokunbo

{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE OverloadedStrings #-}
module Run (
    runner
  ) where

import Control.Monad.Reader (ReaderT, runReaderT)
import Data.Foldable (traverse_)

adetokunbo

:set prompt "> "
:set -isrc
:load Main

adetokunbo

{-# LANGUAGE OverloadedStrings #-}
{-# LANGUAGE ExtendedDefaultRules #-}
import Reflex.Dom
import Control.Monad.IO.Class
import Control.Monad (void)
import Data.Text (Text)
import Language.Javascript.JSaddle
import Control.Lens ((^.))

main :: IO ()

adetokunbo

import           Data.Text                   (Text)
import           Data.Text.Lazy              (fromStrict, toStrict)
import           Data.Text.Lazy.Builder      (toLazyText)
import           Data.Text.Lazy.Encoding     (encodeUtf8)

import           Data.Aeson
import           Data.Aeson.Text             (encodeToTextBuilder)

asText :: ToJSON a => a -> Text

adetokunbo

{-# LANGUAGE ConstraintKinds     #-}
{-# LANGUAGE FlexibleContexts    #-}
{-# LANGUAGE RecursiveDo         #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE TypeFamilies        #-}

------------------------------------------------------------------------------
import           Control.Concurrent
import           Control.Monad
import           Control.Monad.Trans

adetokunbo

pkgs: attrs:
  with pkgs;
  let defaultAttrs = {
    builder = "${bash}/bin/bash";
    args = [ ./builder.sh ];
    setup = ./setup.sh;
    baseInputs = [ gnutar gzip gnumake gcc binutils coreutils gawk gnused gnugrep patchelf findutils ];
    buildInputs = [];
    system = builtins.currentSystem;
  };

adetokunbo

{-# LANGUAGE OverloadedStrings #-}
{-# LANGUAGE RecursiveDo #-}
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE TemplateHaskell #-}

-- | Demo:
-- | 1) config and state (model) accessible everywhere without pushing
-- parameters around in a reflex app.
-- | 2) Pushing more than one event to 'EventWriter' and using
-- 'coincidence' to extract them.