AdamBrouwersHarries

#!/bin/bash
set -e

# Start firefox with the profiler running, and capture a profile.
# This is a utility script to quickly run firefox and gather a profile while
# iterating on the format of markers, or other front-end formatting that
# relies on backend changes.

# The time to run the profile. Default to 10 seconds
profiletime=${1:-10}

AdamBrouwersHarries

module ISort

import Data.Linear.Interface
import Data.Linear.Notation
import Data.Linear.LNat
import Data.Linear.LEither
import Data.Linear.LMaybe
import Data.Linear.LVect

-- Some useful things defined for LNats

AdamBrouwersHarries

module Linear.Reproduction

import Data.Linear.Interface
import Data.Linear.Notation
import Data.Linear.LNat
import Data.Linear.LEither
import Data.Linear.LMaybe

-- Some useful things defined for LNats

AdamBrouwersHarries

module Treemember
import Data.List
import Data.List1
import Data.String 
import Data.These
import Data.Maybe
import Data.So

import Libraries.Data.StringTrie
import Libraries.Data.StringMap

AdamBrouwersHarries

module Treemember
import Data.List1
import Data.String 
import Data.These
import Data.Maybe

import Libraries.Data.StringTrie
import Libraries.Data.StringMap

-- Take a path through the trie, and return a node's name (if there is one).

AdamBrouwersHarries

module SpecD

-- Provide a placeholder type for a spectrogram
SpectTy : Type 
SpectTy = Nat 

-- Datatype to track whether we should be returning a residual 
data ResidualTy = Residual | Pair 

-- Transform ResidualTy to a type that we can return 

AdamBrouwersHarries

/// Based on code from tui-rs/examples, adapted to support bpm calculation by beats. 

/// A simple example demonstrating how to handle user input. This is
/// a bit out of the scope of the library as it does not provide any
/// input handling out of the box. However, it may helps some to get
/// started.
///
/// This is a very simple example:
///   * A input box always focused. Every character you type is registered
///   here

AdamBrouwersHarries

module Main where 

import Control.Monad
import Data.List
import Data.Function

-- Define a name - i.e. just a variable
data Name = MkName Char deriving (Eq, Show)

-- Define a context - a mapping from variabels to values

AdamBrouwersHarries

object Tree { 

  class PrintBuilder(var content: String, var indent: Int) {
    def +=(line: String) = {
      content = content + "\n" + ("  " * indent) + line
    }

    def in : Unit = {
      indent = indent + 1
    }

AdamBrouwersHarries

#!/bin/sh

resultfile=$1

profilefile=$(echo $resultfile | sed -e "s/result/profiling_data/g")
summaryfile=$(echo $resultfile | sed -e "s/result/profile_summary/g")
readablesummary=$(echo $resultfile | sed -e "s/result/profile_summary_readable/g")

touch $profilefile