Gaël Deest gdeest
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 DerivingVia #-} | |
| {-# LANGUAGE DerivingStrategies #-} | |
| {-# LANGUAGE FlexibleContexts #-} | |
| {-# LANGUAGE FlexibleInstances #-} | |
| {-# LANGUAGE GeneralizedNewtypeDeriving #-} | |
| {-# LANGUAGE MultiParamTypeClasses #-} | |
| {-# LANGUAGE StandaloneDeriving #-} | |
| {-# LANGUAGE UndecidableInstances #-} | |
| module Main where |
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 DataKinds #-} | |
| {-# LANGUAGE DeriveAnyClass #-} | |
| {-# LANGUAGE DerivingStrategies #-} | |
| {-# LANGUAGE FlexibleContexts #-} | |
| {-# LANGUAGE FlexibleInstances #-} | |
| {-# LANGUAGE DeriveGeneric #-} | |
| {-# LANGUAGE InstanceSigs #-} | |
| {-# LANGUAGE MultiParamTypeClasses #-} | |
| {-# LANGUAGE RankNTypes #-} | |
| {-# LANGUAGE ScopedTypeVariables #-} |
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 DataKinds #-} | |
| {-# LANGUAGE DeriveAnyClass #-} | |
| {-# LANGUAGE DerivingStrategies #-} | |
| {-# LANGUAGE DeriveGeneric #-} | |
| {-# LANGUAGE FlexibleContexts #-} | |
| {-# LANGUAGE GeneralizedNewtypeDeriving #-} | |
| {-# LANGUAGE FlexibleInstances #-} | |
| {-# LANGUAGE MultiParamTypeClasses #-} | |
| {-# LANGUAGE UndecidableInstances #-} | |
| {-# LANGUAGE RankNTypes #-} |
gdeest
/ GenericServant.hs
Created
June 18, 2020 09:23
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
| #!/usr/bin/env stack | |
| -- stack --resolver lts-16.0 --no-nix --system-ghc script | |
| {-# LANGUAGE AllowAmbiguousTypes #-} | |
| {-# LANGUAGE ConstraintKinds #-} | |
| {-# LANGUAGE DefaultSignatures #-} | |
| {-# LANGUAGE DeriveAnyClass #-} | |
| {-# LANGUAGE DeriveGeneric #-} | |
| {-# LANGUAGE DataKinds #-} | |
| {-# LANGUAGE FlexibleContexts #-} |
gdeest
/ gist:7a2be2b5b43b67ba73f9796a6d2b152b
Created
February 24, 2020 09:57
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 RecursiveDo #-} | |
| import Data.Text.Lazy.IO as T | |
| import LLVM.Pretty -- from the llvm-hs-pretty package | |
| import LLVM.AST hiding (function) | |
| import LLVM.AST.Type as AST | |
| import qualified LLVM.AST.Float as F | |
| import qualified LLVM.AST.Constant as C |
gdeest
/ gist:64c4e12ab689e8068056bf6d470e5a97
Created
January 21, 2020 14:50
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
| (use-package flycheck) | |
| (defvar-local flycheck-eglot-current-errors nil) | |
| (defun flycheck-eglot-report-fn (diags &rest _) | |
| (setq flycheck-eglot-current-errors | |
| (mapcar (lambda (diag) | |
| (save-excursion | |
| (goto-char (flymake--diag-beg diag)) | |
| (flycheck-error-new-at (line-number-at-pos) |
gdeest
/ debrief.hs
Created
October 23, 2019 08:42
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
| data Maybe a = Nothing | Just a | |
| data Expr = SumExpr Expr Expr | |
| | ProdExpr Expr Expr | |
| | Power Expr Expr | |
| | Val Float | |
| String -> Maybe Expr | |
| -- "1+2*3" → Just (SumExpr (Val 1.0) (ProdExpr (Val 2.0) (Val 3.0)) |
gdeest
/ gist:8aea5f30f6b1559fdd1746ac35262484
Created
October 23, 2019 08:42
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
| data Maybe a = Nothing | Just a | |
| data Expr = SumExpr Expr Expr | |
| | ProdExpr Expr Expr | |
| | Power Expr Expr | |
| | Val Float | |
| String -> Maybe Expr | |
| -- "1+2*3" → Just (SumExpr (Val 1.0) (ProdExpr (Val 2.0) (Val 3.0)) |
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
| module Main where | |
| import System.Environment | |
| import System.Exit | |
| type Filename = String | |
| data Command = Foo Filename | Bar | |
| parseCommand :: [String] -> Maybe Command |
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
| module Main where | |
| import System.Environment | |
| import System.Exit | |
| type Filename = String | |
| data Command = Foo Filename | Bar | |
| parseCommand :: [String] -> Maybe Command |
NewerOlder