rampion

{-# LANGUAGE BlockArguments #-}
{-# LANGUAGE Rank2Types #-}
{-# LANGUAGE TypeOperators #-}
{-# OPTIONS_GHC -Wall -Werror -Wextra -Wno-name-shadowing #-}

module HyperList where

import Data.Function ((&))

newtype a -&> b = Hyp {invoke :: (b -&> a) -> b}

rampion

{-# LANGUAGE BlockArguments #-}
{-# LANGUAGE Rank2Types #-}
{-# OPTIONS_GHC -Wall -Werror -Wextra -Wno-name-shadowing #-}

module HyperPhases where

import Control.Applicative (liftA2)
import Data.Functor ((<&>))

newtype Phases f a = Phases

rampion

{-# LANGUAGE BlockArguments #-}
{-# LANGUAGE TypeOperators #-}
{-# OPTIONS_GHC -Wall -Werror -Wextra #-}

module Hyperfunction where

import Control.Category
import Data.Function (fix)
import Prelude hiding (id, (.))

rampion

extern crate structopt;
use clap::ArgGroup;
use structopt::StructOpt;

#[derive(Debug, StructOpt, PartialEq)]
#[structopt(group(ArgGroup::with_name("confs").multiple(true)))]
pub struct Command {
    #[structopt(long = "config", group = "confs", parse(from_str = config))]
    configs: Vec<Conf>,

rampion

#![allow(incomplete_features)]
#![feature(generic_associated_types)]
use std::marker::PhantomData;

macro_rules! do_notation {
    (| $ty:ty | pure $e:expr) => {
        <$ty>::pure($e)
    };
    (| $ty:ty | $e:expr) => {
        $e

rampion

{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE TypeApplications #-}

module SortAsReverse where

-- challenge from bindthegap.news issue 1, Nov 2020
--
-- implement reverse using sort

import Data.Coerce (coerce)

rampion

{-# OPTIONS_GHC -Wno-name-shadowing #-}
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE DeriveFoldable #-}
{-# LANGUAGE DeriveFunctor #-}
{-# LANGUAGE DeriveTraversable #-}
{-# LANGUAGE GADTs #-}
{-# LANGUAGE KindSignatures #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE StandaloneDeriving #-}
{-# LANGUAGE TypeOperators #-}

rampion

WHAT hey

what ho

1. What's a recipe?
2. What's a target?
3. What's a rule?
4. What's that `.PHONY` thing?
What's that `.DEFAULT_GOAL` thing?

rampion

{-# LANGUAGE PolyKinds #-}
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE ConstraintKinds #-}
{-# LANGUAGE Rank2Types #-}
{-# LANGUAGE GADTs #-}
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE TypeInType #-}
{-# LANGUAGE TypeApplications #-}
{-# LANGUAGE AllowAmbiguousTypes #-}

rampion