romac

type TestRes = RouteResult<
    Created<JsonValue>,
    Coprod!(
        BadRequest<JsonValue>,
        NotFound<JsonValue>,
        InternalServerError<JsonValue>
    ),
>;

#[post("/test/<a>")]

romac

{-# LANGUAGE DeriveGeneric
           , DefaultSignatures
           , FlexibleInstances
           , FlexibleContexts
           , KindSignatures
           , DataKinds
           , TypeOperators
           , DeriveAnyClass
           , ScopedTypeVariables #-}

romac

#!/usr/bin/env stack
-- stack script --resolver=lts-8.14 --package recursion-schemes --package transformers --package deriving-compat
{-# LANGUAGE TypeOperators
           , DeriveFunctor
           , DeriveFoldable
           , DeriveTraversable
           , DeriveGeneric
           , TemplateHaskell
           , MultiParamTypeClasses
           , FlexibleInstances

romac

{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE FlexibleContexts #-}

module Data.Functor.Foldable.Monadic
  ( cataM
  , anaM
  , futuM
  ) where

import Protolude

romac

scala> :paste
// Entering paste mode (ctrl-D to finish)

import inox._
import inox.trees._
import inox.trees.dsl._
import inox.solvers._

// Exiting paste mode, now interpreting.

romac

LLVM 3.8 Bitcode Resources

• llvm-bcanalyzer
• LLVM Bitcode File Format

romac

import shapeless._
import shapeless.ops.product._
import shapeless.syntax.std.product._

case class Foo(a: Int, b: String)
case class Bar(a: Int, b: String, c: Foo)
case class Empty()
case object Object

trait CaseFromProduct[T] {

romac

/*
 * Decompiled with CFR 0_108.
 * 
 * Could not load the following classes:
 *  const$$anonfun
 *  const$$anonfun$lamConst
 *  scala.Function1
 *  scala.runtime.AbstractFunction1
 */
import scala.Function1;

romac

{-# LANGUAGE RankNTypes #-}

-- Church encoding of various data-types.
-- Very much inspired by Gabriel Gonzalez's talk "Internet of Code":
-- http://begriffs.com/posts/2015-10-16-internet-of-code.html
module Church where

import Prelude hiding (map, sum, foldr, and, not)

-- List

romac

language: haskell

sudo: false

cache:
  directories:
    - $HOME/.stack/

before_install:
  - mkdir -p ~/.local/bin