| {-# LANGUAGE DataKinds #-} | |
| {-# LANGUAGE FlexibleInstances #-} | |
| {-# LANGUAGE MultiParamTypeClasses #-} | |
| {-# LANGUAGE RebindableSyntax #-} | |
| {-# LANGUAGE ScopedTypeVariables #-} | |
| -- This module declares an orphan instance on purpose. This warning does not | |
| -- need to be disabled if/when this code is moved into the arduino library. | |
| {-# OPTIONS_GHC -Wno-orphans #-} | |
| module ArduinoSerialArray where |
| ~/tmp/du$ cabal install dunai | |
| Resolving dependencies... | |
| Build profile: -w ghc-8.10.4 -O1 | |
| In order, the following will be built (use -v for more details): | |
| - base-orphans-0.8.4 (lib) (requires build) | |
| - primitive-0.7.1.0 (lib) (requires build) | |
| - simple-affine-space-0.1.1 (lib) (requires build) | |
| - splitmix-0.1.0.3 (lib) (requires build) | |
| - transformers-compat-0.6.6 (lib) (requires build) | |
| - random-1.2.0 (lib) (requires build) |
| module IsoMaybe | |
| import Control.Isomorphism | |
| data MaybeT : (m : Type -> Type) -> Type -> Type where | |
| MaybeTC : { m : Type -> Type } -> m (Maybe a) -> MaybeT m a | |
| data Identity : Type -> Type where | |
| IdentityC : a -> Identity a |
| \definecolor{mygreen}{rgb}{0,0.6,0} | |
| \lstset{ | |
| commentstyle=\color{mygreen}, | |
| keywordstyle=\color{blue}, % keyword style | |
| breaklines=true | |
| } | |
| \begin{minipage}{\linewidth} | |
| \hspace*{.1\linewidth}% | |
| \begin{minipage}{.7\linewidth} | |
| \begin{lstlisting}[frame=l,basicstyle=\small\ttfamily,language=Haskell, |
| .PHONY: default | |
| # Use texfot if available. Produces less output. | |
| TEXFOT_ARGS=--no-interactive --ignore 'Underfull.*' --ignore 'Package polytable Warning: Redefining column' --ignore 'Package hyperref Warning: Token not allowed in a PDF string' --ignore 'LaTeX Warning: .h. float specifier changed to .ht..' | |
| TEXFOT=$(shell which texfot >/dev/null && echo texfot "${TEXFOT_ARGS}" || echo "") | |
| # TEXFOT= | |
| # Use chronic if available. Removes output on zero exitcode. | |
| CHRONIC=$(shell which chronic || echo "") |
| #!/bin/bash | |
| # matryoshka-vim | |
| # ============== | |
| # | |
| # A wrapper around vim to open files in existing vim sessions using ConqueTerm. | |
| # | |
| # AUTHOR: Ivan Perez Dominguez | |
| # LICENCE: GPL-3 | |
| # |
| {-# LANGUAGE MultiParamTypeClasses #-} | |
| {-# LANGUAGE FunctionalDependencies #-} | |
| {-# LANGUAGE ScopedTypeVariables #-} | |
| {-# LANGUAGE FlexibleContexts #-} | |
| {-# LANGUAGE UndecidableInstances #-} | |
| {-# LANGUAGE FlexibleInstances #-} | |
| module FRP.Yampa.Backends.SDL where | |
| import Data.IORef | |
| import FRP.Yampa.Signal as Yampa |
| {-# LANGUAGE MultiWayIf #-} | |
| test1 :: Maybe String -> String | |
| test1 x = | |
| case () of | |
| _ | True | |
| -> "Good morning" | |
| test2 :: Maybe String -> String | |
| test2 x = | |
| if | True -> "Good morning" |
This is a trivial example that plays a sound in SDL mixer.
It includes arbitrary Template Haskell to check that everything links properly.
Do not copy this to your own project. Use these functions or check out the Haskell Game Programming wiki instead.
On linux, files tend to be identified by type, not extension.
org-mode files are text files, but only a few editors support org-mode (emacs, vim, etc.)
This file can be used to associate org-mode files to a specific editor (like emacs), while using other editors for plain text files.