Heimdell

{-# LANGUAGE DataKinds #-}
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE AllowAmbiguousTypes #-}

{- |
  Type-level list appending and properties
-}
module Append where

import Union

Heimdell

{-# LANGUAGE DataKinds #-}
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE AllowAmbiguousTypes #-}

{- |
  Type-level list appending and properties
-}
module Append where

import Union

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 {