Heimdell

{-# LANGUAGE FunctionalDependencies #-}
{-# LANGUAGE LambdaCase #-}
{-# LANGUAGE ImportQualifiedPost #-}
{-# LANGUAGE BlockArguments #-}
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE QuantifiedConstraints #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE UndecidableInstances #-}

Heimdell

{-# OPTIONS_GHC -Wno-unrecognised-pragmas #-}
{-# HLINT ignore "Redundant multi-way if" #-}

{-# LANGUAGE ApplicativeDo #-}
{-# LANGUAGE BlockArguments #-}
{-# LANGUAGE DerivingStrategies #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE ImportQualifiedPost #-}
{-# LANGUAGE InstanceSigs #-}
{-# LANGUAGE LambdaCase #-}

Heimdell

{- | Source of fresh names.
-}

module Gensym where

data T s v = Gensym
  { gState :: s
  , gStep  :: s -> (v, s)
  }

Heimdell

{-# LANGUAGE LambdaCase #-}
{-# LANGUAGE BlockArguments #-}
{-# LANGUAGE DerivingStrategies #-}
{-# LANGUAGE StandaloneDeriving #-}
{-# LANGUAGE UndecidableInstances #-}
{-# LANGUAGE DeriveDataTypeable #-}
{-# LANGUAGE DeriveGeneric #-}
{-# LANGUAGE DeriveFunctor #-}
{-# LANGUAGE DeriveFoldable #-}

Heimdell

module AST where

import Data.Text qualified as Text
import Data.Text (Text)
import Data.Scientific

data Module = Module QName [Import] [Toplevel]

data Import = Import
  { from   :: [Name]

Heimdell

module Color where

type Color = (Int, Int)

toCode :: Color -> String
toCode (hue, -1) = show (30 + hue) ++ ";2"
toCode (hue,  0) = show (90 + hue)
toCode (hue,  1) = show (30 + hue) ++ ";1"
toCode  c        = error $ "toCode: should be (0..16 (15?), -1.. 1), but it is " ++ show c

Heimdell

#!/usr/bin/env stack
-- stack --resolver lts-17.14 script

{-# language LambdaCase #-}

import System.Environment
import System.Directory
import System.FilePath

main = do

Heimdell

using System;
using System.Collections.Generic;

// For clarity. In haskell, standard Dictionary is called "Map".
//
using Set1 = System.Collections.Generic.HashSet<int>;
using Map1 = System.Collections.Generic.Dictionary<int, System.Collections.Generic.HashSet<int>>;

class Closure {

Heimdell

use std::sync::Arc;

enum Octree<B, A>
  { Branch
      { preview  : B
      , subtrees : [Arc<Octree<B, A>>; 8]
      }
  , Atom
      { leaf    : A

Heimdell

{- | A chunk of 16x16x16 atoms.
-}

module Chunk where

import Prelude hiding (read)

import Control.Monad
import Control.Monad.Primitive