James Brock jamesdbrock

jamesdbrock / record.md

Last active November 23, 2016 08:11 — forked from fumieval/record.md

extensible is a library for extensible data types. It provides extensible product and sum types parameterized by type-level lists.

This tutorial introduces extensible records, an application of the extensible products.

First, we pass a space-separated list of field names to mkField:

{-# LANGUAGE TemplateHaskell, DataKinds, TypeOperators, FlexibleContexts #-}
{-# OPTIONS_GHC -fno-warn-unticked-promoted-constructors #-}

jamesdbrock / gist:c4052cf7af2826cae523650438d78070

Created June 20, 2019 00:52

Stack v2.1.1 setup failure

This file has been truncated, but you can view the full file.

	Building in Docker Cloud's infrastructure...
	Cloning into '.'...
	Warning: Permanently added the RSA host key for IP address '192.30.253.113' to the list of known hosts.
	Reset branch 'master'
	Your branch is up-to-date with 'origin/master'.
	KernelVersion: 4.4.0-1060-aws
	Components: [{u'Version': u'18.03.1-ee-3', u'Name': u'Engine', u'Details': {u'KernelVersion': u'4.4.0-1060-aws', u'Os': u'linux', u'BuildTime': u'2018-08-30T18:42:30.000000000+00:00', u'ApiVersion': u'1.37', u'MinAPIVersion': u'1.12', u'GitCommit': u'b9a5c95', u'Arch': u'amd64', u'Experimental': u'false', u'GoVersion': u'go1.10.2'}}]
	Arch: amd64
	BuildTime: 2018-08-30T18:42:30.000000000+00:00
	ApiVersion: 1.37

jamesdbrock / gist:8408aebc0047cd5ebd1ce625eb6cd4d6

Created June 20, 2019 00:55

Stack v2.1.1 setup success

This file has been truncated, but you can view the full file.

	Building in Docker Cloud's infrastructure...
	Cloning into '.'...
	Warning: Permanently added the RSA host key for IP address '192.30.253.112' to the list of known hosts.
	Reset branch 'master'
	Your branch is up-to-date with 'origin/master'.
	KernelVersion: 4.4.0-1060-aws
	Components: [{u'Version': u'18.03.1-ee-3', u'Name': u'Engine', u'Details': {u'KernelVersion': u'4.4.0-1060-aws', u'Os': u'linux', u'BuildTime': u'2018-08-30T18:42:30.000000000+00:00', u'ApiVersion': u'1.37', u'MinAPIVersion': u'1.12', u'GitCommit': u'b9a5c95', u'Arch': u'amd64', u'Experimental': u'false', u'GoVersion': u'go1.10.2'}}]
	Arch: amd64
	BuildTime: 2018-08-30T18:42:30.000000000+00:00
	ApiVersion: 1.37