o1lo01ol1o

# default.nix
{}:
(import ./reflex-platform{}).project ({ pkgs, ... }:
{

  packages =  {
    common =  ./common;
    backend =  ./backend;
    frontend =  ./frontend;

o1lo01ol1o

To your other, more general question, "the uses of data families as distinct from type families and GADTs". Here's the space of possibilities: ​

1. Is the type constructor generative and injective, and can it be partially applied?
2. Is there a runtime tag passed along with the value to pattern match on?
3. Can it be closed, can it be open? ​ And here's where GADTs and type/data families lie in this space: ​

o1lo01ol1o

Keybase proof

I hereby claim:

• I am o1lo01ol1o on github.
• I am o1lo01ol1o (https://keybase.io/o1lo01ol1o) on keybase.
• I have a public key ASAohfPzXdT8Wyi8YU0niXf89Jq--Mei5gg4FDVPwtKnbAo

To claim this, I am signing this object:

o1lo01ol1o

--Pragmas are needed additionally for the project in which this snippet is included
{-# LANGUAGE TypeInType, DataKinds, PolyKinds, ScopedTypeVariables,
  FlexibleInstances, FlexibleContexts, GADTs, TypeFamilies,
  RankNTypes, LambdaCase, TypeOperators, TemplateHaskell,
  ConstraintKinds, PolyKinds, NoImplicitPrelude,
  UndecidableInstances, MultiParamTypeClasses, GADTSyntax,
  AllowAmbiguousTypes, InstanceSigs, DeriveFunctor,
  FunctionalDependencies #-}

-- Algebra.Graph is from the algebraic-graphs package

o1lo01ol1o

#I "../packages/MBrace.Thespian/tools" 
#I "../packages/Streams/lib/net45" 
#r "../packages/Streams/lib/net45/Streams.dll"
#I "../packages/Vagabond/lib/net45"
#r "../packages/Vagabond/lib/net45/Vagabond.dll"
#r "../packages/Vagabond/lib/net45/Vagabond.AssemblyParser.dll"
#I "../packages/MBrace.Flow/lib/net45" 
#I "../packages/MBrace.Core/lib/net45" 
#I "../packages/MBrace.Runtime/lib/net45" 
#r "../packages/MBrace.Runtime/lib/net45/MBrace.Runtime.dll"

o1lo01ol1o

# This is shorthened version of blog post 
#  http://ksopyla.com/2017/02/tensorflow-gpu-virtualenv-python3/

# update packages
sudo apt-get update
sudo apt-get upgrade

#Add the ppa repo for NVIDIA graphics driver
sudo add-apt-repository ppa:graphics-drivers/ppa
sudo apt-get update

o1lo01ol1o

{-# LANGUAGE KindSignatures #-}
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE FlexibleContexts, Arrows #-}
module Main where
import Euterpea.IO.Audio.Accelerate.BasicSigFuns
import Control.Monad ( when, unless )
import Data.List ( intersperse )
import System.Exit ( exitFailure )
import System.IO ( hPutStrLn, stderr )

o1lo01ol1o

{-# LANGUAGE DataKinds, PolyKinds, ScopedTypeVariables,
  FlexibleInstances, FlexibleContexts, GADTs, TypeFamilies,
  RankNTypes, LambdaCase, TypeOperators, TemplateHaskell,
  NoImplicitPrelude, ConstraintKinds, PolyKinds, UndecidableInstances
  #-}

module TH (DimShuffle, EvalBroadcast) where
import qualified Prelude as P
import Data.Singletons.TH (promote)
import Data.Singletons.Prelude.List

o1lo01ol1o

resolver: lts-7.2
compiler: ghcjs-0.2.1.9007002_ghc-8.0.1
compiler-check: match-exact

setup-info:
  ghcjs:
    source:
      ghcjs-0.2.1.9007002_ghc-8.0.1:
          url: http://ghcjs.tolysz.org/ghc-8.0-2016-10-01-lts-7.2-9007002.tar.gz
          sha1: a41ae415328e2b257d40724d13d1386390c26322

o1lo01ol1o

namespace Testest

open WebSharper
open WebSharper.JavaScript
open WebSharper.UI.Next
open WebSharper.UI.Next.Client
open WebSharper.UI.Next.Html
open WebSharper.JavaScript
open WebSharper.JQuery