Skip to content

Instantly share code, notes, and snippets.

View Cmdv's full-sized avatar
🤷‍♂️
¯\_(ツ)_/¯

Vincent Orr Cmdv

🤷‍♂️
¯\_(ツ)_/¯
View GitHub Profile
@Cmdv
Cmdv / config.el
Created November 8, 2020 16:12
Emacs HLS setup
;;; $DOOMDIR/config.el -*- lexical-binding: t; -*-
;; Place your private configuration here! Remember, you do not need to run 'doom
;; sync' after modifying this file!
;; Some functionality uses this to identify you, e.g. GPG configuration, email
;; clients, file templates and snippets.
(setq user-full-name "John Doe"
user-mail-address "john@doe.com")
@Cmdv
Cmdv / Loop.hs
Last active September 1, 2021 16:30
{-# LANGUAGE OverloadedStrings #-}
{-# LANGUAGE RecordWildCards #-}
module Main where
import RIO
import qualified RIO.Map as M
data Question = Question
@Cmdv
Cmdv / Instances.hs
Last active October 15, 2021 10:07
Type level / Generic programming HS -> TS magic
deriving instance Generic UIConfig
instance AesonOptions UIConfig
instance S.Generic UIConfig
instance S.HasDatatypeInfo UIConfig
instance TS.TypeScript UIConfig
--------------------------------------------
-- Instance above errors with:
-- No instance for (Data.Aeson.TypeScript.GTypeBody
-- '[ '[UIConfigV001], '[[Char]]]
-- ('Generics.SOP.Type.Metadata.ADT