isovector

{-# LANGUAGE AllowAmbiguousTypes   #-}
{-# LANGUAGE DefaultSignatures     #-}
{-# LANGUAGE DeriveGeneric         #-}
{-# LANGUAGE FlexibleInstances     #-}
{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE TypeFamilies          #-}

------------------------------------------------------------------------------
-- | Magic (aka shitty) implementation of coeffects over standard Haskell arrow
-- types.

isovector

Plug 'junegunn/vim-easy-align'

function! AddHsPragma()
    " Add a new HS pragma, and sort the list so it's pretty
    let pragma = input("LANGUAGE ")
    normal! ms
    if match(getline(1), "module") == 0
      execute "normal! ggO\<ESC>"
    endif
    if pragma != ""

isovector

People

:bowtie:	😄 :smile:	😆 :laughing:
😊 :blush:	😃 :smiley:	☺️ :relaxed:
😏 :smirk:	😍 :heart_eyes:	😘 :kissing_heart:
😚 :kissing_closed_eyes:	😳 :flushed:	😌 :relieved:
😆 :satisfied:	😁 :grin:	😉 :wink:
😜 :stuck_out_tongue_winking_eye:	😝 :stuck_out_tongue_closed_eyes:	😀 :grinning:
😗 :kissing:	😙 :kissing_smiling_eyes:	😛 :stuck_out_tongue:

isovector

{-# LANGUAGE LambdaCase #-}

module Simple.Plugin(plugin) where

import Coercion
import Control.Monad (guard, join)
import CoreMonad
import CoreSyn
import Data.Bifunctor (second)
import Data.Foldable (toList)

isovector

#! /usr/bin/env bash

set -ex
rm -r /tmp/ebook || echo ""
mkdir /tmp/ebook
cp *.shiatsu /tmp/ebook
cp *.tex /tmp/ebook
cp *.html /tmp/ebook
cp -r .latex-live-snippets/ /tmp/ebook
cd /tmp/ebook

isovector

{-# LANGUAGE DeriveFoldable    #-}
{-# LANGUAGE DeriveFunctor     #-}
{-# LANGUAGE DeriveTraversable #-}
{-# LANGUAGE KindSignatures    #-}
{-# LANGUAGE TemplateHaskell   #-}
{-# LANGUAGE TupleSections     #-}
{-# LANGUAGE TypeApplications  #-}
{-# LANGUAGE TypeFamilies      #-}

module Lib where

isovector

*** Core Lint errors : in result of Desugar (before optimization) ***
<no location info>: warning:
    [RHS of $dSemigroup_auC6{v}[lid] :: Semigroup{tc 2K}
                                          Int{(w) tc 3u}]
    [RHS of $csconcat{v auCm}[lid] :: NonEmpty{tc rA4} Int{(w) tc 3u}
                                      -> Int{(w) tc 3u}]
    [RHS of $dSemigroup_auCq{v}[lid] :: Semigroup{tc 2K}
                                          Int{(w) tc 3u}]
    [RHS of $dSemigroup_auCq{v}[lid] :: Semigroup{tc 2K}
                                          Int{(w) tc 3u}]

isovector

*** Core Lint errors : in result of Desugar (before optimization) ***
<no location info>: warning:
    In the expression: $fNum[] $dNum_a2USl
    $dNum_a2USl :: Num a_0
    [LclId] is out of scope
<no location info>: warning:
    In the expression: $fNum[] $dNum_a2USl
    Non-function type in function position
    Fun type: forall a. Num a => Num [a]
    Arg type: Num a_-1

isovector

data Skolem (s :: Nat) = forall a. Skolem a

unsafeUnskolem :: Skolem n -> a
unsafeUnskolem (Skolem a) = unsafeCoerce a


data Error e (m :: * -> *) a
  = Throw e
  | forall x. Catch (m x) (e -> m x) (x -> a)

isovector

==================== Tidy Core ====================

Result size of Tidy Core
  = {terms: 627, types: 1,687, coercions: 398, joins: 1/6}

-- RHS size: {terms: 5, types: 21, coercions: 11, joins: 0/0}
$WUnion
$WUnion = \ @ e_XHpZ @ a_aHpZ dt_aHuO -> Union @~ <Co:11> dt_aHuO