tel

module type Functor = sig
  type 'a t
  val map : ('a -> 'b) -> ('a t -> 'b t)
end

module Mu (F : Functor) : sig
  type t = { mu : t F.t }
  val cata : ('a F.t -> 'a) -> (t -> 'a)
end = struct

tel

{-# LANGUAGE DataKinds #-}
{-# LANGUAGE StandaloneDeriving #-}
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE UndecidableInstances #-}
{-# LANGUAGE GADTs #-}
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE KindSignatures #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE TypeOperators #-}

tel

// Given an interface like

sealed trait Mult 
sealed trait One extends Mult
sealed trait ZeroOrOne extends Mult
sealed trait Many extends Mult

case class NoParam()

tel

import scala.language.implicitConversions

class Nimber(val value: BigInt) extends AnyVal {
  def size: Int = {
    val bitSize =
      if (value == 1) 0
      else if (value <= 3) 1
      else value.bitLength - 1
    val logBits =

tel

import scala.language.higherKinds

trait Tc1 {
  type T[_]
}

trait Functor extends Tc1 {
  def map[A, B](f: A => B)(ta: T[A]): T[B]
}

tel

/**
 * Partially (!) specializes Graphs signature.
 * 
 * Note that Node and Edge are still abstract! We add new 
 * functionality by concretely specifying Graph, but the DSL
 * still works in its limited initial form since newGraph abstracted
 * over Graph construction
 * 
 */

tel

package tutorial.webapp

import japgolly.scalajs.react._
import japgolly.scalajs.react.vdom.prefix_<^._
import org.scalajs.dom

import scala.scalajs.js.JSApp

trait Component {
  type Params

tel

{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE TypeOperators #-}
{-# LANGUAGE GADTs #-}
{-# LANGUAGE DeriveFunctor #-}

module Tesser where

import Control.Monad
import Data.Bifunctor
import Data.List (foldl')

tel

{-# LANGUAGE ConstraintKinds       #-}
{-# LANGUAGE DataKinds             #-}
{-# LANGUAGE FlexibleContexts      #-}
{-# LANGUAGE FlexibleInstances     #-}
{-# LANGUAGE GADTs                 #-}
{-# LANGUAGE KindSignatures        #-}
{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE StandaloneDeriving    #-}
{-# LANGUAGE TypeFamilies          #-}
{-# LANGUAGE TypeOperators         #-}

tel

{-# OPTIONS_GHC -fno-warn-orphans #-}
{-# LANGUAGE BangPatterns #-}
{-# LANGUAGE DeriveFunctor #-}
{-# LANGUAGE DeriveFoldable #-}
{-# LANGUAGE DeriveTraversable #-}
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE GeneralizedNewtypeDeriving #-}
{-# LANGUAGE NamedFieldPuns #-}
{-# LANGUAGE OverloadedStrings #-}
{-# LANGUAGE StandaloneDeriving #-}