| import 'package:flutter/material.dart'; | |
| import 'func.dart'; | |
| class Message { | |
| Message(this.text, this.isMe); | |
| String text; | |
| bool isMe; | |
| } |
| {-# LANGUAGE OverloadedStrings #-} | |
| {-# LANGUAGE QuasiQuotes #-} | |
| module Main where | |
| import Data.Foldable | |
| import Data.Aeson.Lens | |
| import Data.Aeson.Encode.Pretty | |
| import Data.Aeson.QQ | |
| import Control.Lens |
| (use-package org | |
| :config | |
| (add-hook 'text-mode-hook #'visual-line-mode) | |
| :custom | |
| (org-hide-leading-stars 't) | |
| (org-startup-folded 'content )) | |
| (use-package org-roam-ui) | |
| (defun my-org-journal-new-entry (prefix) |
| data AddRemove = Add Int | Remove Int deriving Show | |
| currentId :: AddRemove -> Int | |
| currentId = \case | |
| Add n -> n | |
| Remove n -> n | |
| toMap :: AddRemove -> M.Map Int (Maybe ()) | |
| toMap = \case | |
| Add n -> M.singleton n (Just ()) |
| {-# LANGUAGE DataKinds #-} | |
| {-# LANGUAGE LambdaCase #-} | |
| {-# LANGUAGE StandaloneDeriving #-} | |
| {-# LANGUAGE FlexibleInstances #-} | |
| {-# LANGUAGE TypeOperators #-} | |
| {-# LANGUAGE DeriveFunctor #-} | |
| {-# LANGUAGE KindSignatures #-} | |
| {-# LANGUAGE MultiParamTypeClasses #-} | |
| {-# LANGUAGE UndecidableInstances #-} | |
| {-# LANGUAGE GeneralizedNewtypeDeriving #-} |
| import Control.Lens | |
| import Data.Monoid | |
| import Data.List.Extra | |
| import Data.Foldable | |
| select as fbs f s = | |
| flip as s $ \a -> a <$ ( | |
| flip (fbs a) s $ \b -> | |
| snd <$> f (a,b) | |
| ) |
| import Data.Void | |
| import Text.Megaparsec | |
| import Text.Megaparsec.Char | |
| type Parser = Parsec Void String | |
| main :: IO () | |
| main = case runParser p "bruh" "\"123\", \"321\" , ," of | |
| Left err -> print err | |
| Right res -> print res |
| { nixpkgs ? import ./nix/nixpkgs-2020-09.nix | |
| , hls ? true | |
| , hoogle ? true | |
| }: | |
| let | |
| packageName = "template"; | |
| overlay = self: super: { | |
| myHaskellPackages = |
| {-# LANGUAGE UndecidableInstances #-} | |
| {-# LANGUAGE FlexibleInstances #-} | |
| {-# LANGUAGE TypeOperators #-} | |
| {-# LANGUAGE DataKinds #-} | |
| {-# LANGUAGE KindSignatures #-} | |
| {-# LANGUAGE RankNTypes #-} | |
| {-# LANGUAGE TemplateHaskell #-} | |
| {-# LANGUAGE PolyKinds #-} | |
| {-# LANGUAGE GADTs #-} | |
| {-# LANGUAGE ConstraintKinds #-} |
This little instruction shows how to set up Emacs with some packages to start writing Haskell in a more or less convenient way (including, but not limited to: smart auto completion, type info, autoformatting).
First step: get Emacs for your platform. This should be simple.
That's usually ~/.emacs on unix-like systems. ~ stands for "home folder" and on Windows it's usually AppData\Roaming. Check this out.