Skip to content

Instantly share code, notes, and snippets.

View evanrelf's full-sized avatar
🦀
carcinizing

Evan Relf evanrelf

🦀
carcinizing
86 followers · 294 following
View GitHub Profile
@evanrelf
evanrelf / checkpoint.hs
Last active April 30, 2025 04:04
{-# LANGUAGE DerivingStrategies #-}
{-# LANGUAGE GADTs #-}
{-# LANGUAGE LambdaCase #-}
{-# LANGUAGE PatternSynonyms #-}
{-# OPTIONS_GHC -Wall #-}
module Checkpoint
( FreshT (..)
, runFreshT
@evanrelf
evanrelf / park_mini.rs
Last active April 27, 2025 06:17
park bevy app main thread until there's work to do. full version: https://github.com/evanrelf/indigo/blob/59a733f173c0e0ce754a0da7d0b1a590aa05621b/crates/indigo-bevy/src/park.rs
// defining the plugin:
use bevy::{prelude::*, tasks::IoTaskPool};
pub struct Parker(parking::Parker);
#[derive(Resource)]
pub struct Unparker(pub parking::Unparker);
fn park_system(parker: NonSend<Parker>) {
@evanrelf
evanrelf / crop-next-prev-graphemes.rs
Created March 15, 2025 03:48
use crop::Rope;
#[must_use]
pub fn prev_grapheme_boundary(rope: &Rope, mut byte_offset: usize) -> Option<usize> {
if byte_offset == 0 {
return None;
}
byte_offset -= 1;
while !rope.is_grapheme_boundary(byte_offset) {
byte_offset -= 1;
@evanrelf
evanrelf / files
Last active February 22, 2025 07:48
#!/usr/bin/env bash
set -Eeuo pipefail
IFS=$'\n\t'
# https://github.com/evanrelf/indigo/tree/rust4
core=$(gum style --border normal "$(fd . --extension rs crates/core/src/ | as-tree --color always)")
tui=$(gum style --border normal "$(fd . --extension rs crates/tui/src/ | as-tree --color always)")
btree=$(gum style --border normal "$(fd . --extension rs crates/btree/src/ | as-tree --color always)")
@evanrelf
evanrelf / ki-async.hs
Created February 15, 2025 02:10
#!/usr/bin/env runghc
-- ki, unfork, stm
{-# LANGUAGE BlockArguments #-}
{-# OPTIONS_GHC -Wall #-}
{-# OPTIONS_GHC -threaded #-}
import Control.Concurrent qualified as Concurrent
@evanrelf
evanrelf / mvp-anon-records.hs
Created October 3, 2024 20:13
More full fledged version here: https://gist.github.com/evanrelf/d6f55a6db6230f4f30b157ad1fb1b61c
{-# LANGUAGE DataKinds #-}
{-# OPTIONS_GHC -Wall #-}
module X where
import Data.Kind (Type)
import GHC.TypeLits (KnownSymbol, Symbol)
type (:::) :: Symbol -> Type -> Type
data (:::) s a
@evanrelf
evanrelf / serde_special_case_field.rs
Created July 16, 2024 17:30
use serde::{Deserialize, Deserializer, Serialize, Serializer};
use serde_json;
#[derive(Debug, Serialize, Deserialize)]
struct Foo(String);
#[derive(Debug, Serialize, Deserialize)]
struct Bar(String);
fn foo_ser<S>(value: &Foo, serializer: S) -> Result<S::Ok, S::Error>
@evanrelf
evanrelf / defer
Last active November 1, 2024 23:00
Modeled after how Rust behaves (`Drop`, panicking, and aborting).
#!/usr/bin/env bash
set -Eeuo pipefail
IFS=$'\n\t'
deferred=(true)
run_deferred() {
local status="$1"
abort() {
@evanrelf
evanrelf / syntax-tricks.hs
Last active October 3, 2024 20:13
More spartan version here: https://gist.github.com/evanrelf/45a7cba9f09f9ebef5c7429a3c2d779f
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE QualifiedDo #-}
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE OverloadedLabels #-}
module X where
import Data.Functor.Identity (Identity (..))
import Data.Kind (Type)
import GHC.OverloadedLabels (IsLabel (..))
@evanrelf
evanrelf / parser-combinators.hs
Last active June 2, 2024 03:16
-- https://www.youtube.com/watch?v=dDtZLm7HIJs
{-# LANGUAGE BlockArguments #-}
module Main (main) where
import Control.Applicative
import Control.Monad (when)
import Data.Char
import Data.Foldable (for_)