| {-# LANGUAGE TemplateHaskell #-} | |
| {-# LANGUAGE LambdaCase #-} | |
| -- | Print out the values of all names bound by statments, | |
| -- either x <- y, or let x = y in a do-expression. | |
| -- | |
| -- * Enable {-# LANGUAGE TemplateHaskell #-} in your module. | |
| -- * Import Debug.Do | |
| -- * Prefix bindings with _ to ignore them e.g. _foo. | |
| -- |
| :set prompt "> " | |
| :set -isrc | |
| :load Main |
| {-# LANGUAGE OverloadedStrings #-} | |
| module App where | |
| import Component | |
| import Notes | |
| import Reflex.Dom | |
| import Data.Semigroup ((<>)) | |
| app :: MonadWidget t m => m () | |
| app = do | |
| add <- (BlankNote <$) <$> button "New Note" |
Disclaimer 1: Type classes are great but they are not the right tool for every job. Enjoy some balance and balance to your balance.
Disclaimer 2: I should tidy this up but probably won’t.
Disclaimer 3: Yeah called it, better to be realistic.
Type classes are a language of their own, this is an attempt to document features and give a name to them.
| -- Use this file to profile GHC itself while compiling a certain file, i.e., | |
| -- it's equivalent to running something like the following: | |
| -- | |
| -- ghc --make <MYTARGET> [<MYFLAG> ...] +RTS -p | |
| -- | |
| -- Except that the standard ghc binary doesn't support the RTS option "-p". | |
| -- Note that <MYTARGET> and <MYFLAGS> are hardcoded in the binary. If you | |
| -- change one of these, you need to recompile this binary. | |
| -- | |
| -- |
| -- in reply to http://www.reddit.com/r/haskell/comments/21mja6/make_lllegal_state_transitions_unrepresentable/ | |
| -- | |
| -- We implement a tiny language with three commands: Open, Close, and Get. | |
| -- The first Get after an Open returns 1, the second Get returns 2, and so on. | |
| -- | |
| -- Get is only valid while the state is open, and | |
| -- Open must always be matched by a Close. | |
| -- We enforce both restrictions via the type system. | |
| -- | |
| -- There are two valid states: Opened and Closed. |
| #!/usr/bin/env zsh | |
| # This script prints a bell character when a command finishes | |
| # if it has been running for longer than $zbell_duration seconds. | |
| # If there are programs that you know run long that you don't | |
| # want to bell after, then add them to $zbell_ignore. | |
| # | |
| # This script uses only zsh builtins so its fast, there's no needless | |
| # forking, and its only dependency is zsh and its standard modules | |
| # |
| module Main where | |
| import Test.QuickCheck (quickCheck) | |
| import Your.Module (encrypt, decrypt) | |
| prop_reverseReverse :: [Char] -> Bool | |
| prop_reverseReverse s = (reverse . reverse) s == s | |
| prop_encryptDecrypt :: [Char] -> Bool | |
| prop_encryptDecrypt s = (encrypt . decrypt) s == s |
| %!TEX TS-program = xelatex | |
| \documentclass[12pt]{scrartcl} | |
| % The declaration of the document class: | |
| % The second line here, i.e. | |
| % \documentclass[12pt]{scrartcl} | |
| % is a standard LaTeX document class declaration: | |
| % we say what kind of document we are making in curly brackets, | |
| % and specify any options in square brackets. |
