This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
;;; $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 "[email protected]") |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
{-# LANGUAGE OverloadedStrings #-} | |
{-# LANGUAGE RecordWildCards #-} | |
module Main where | |
import RIO | |
import qualified RIO.Map as M | |
data Question = Question |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
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 |
OlderNewer