| {-# LANGUAGE TypeFamilies, GADTs, DataKinds, TypeOperators, FlexibleInstances, OverlappingInstances, ConstraintKinds, MultiParamTypeClasses, ForeignFunctionInterface #-} | |
| import Control.Applicative | |
| import Foreign | |
| import Foreign.C | |
| -- heterogenous list | |
| data HList (ts :: [ * ]) where | |
| E :: HList '[] | |
| (:.) :: t -> HList ts -> HList (t ': ts) |
| {-# LANGUAGE MultiWayIf, ExistentialQuantification, OverloadedStrings #-} | |
| import FreeGame | |
| import qualified Data.IntMap as IM | |
| import Control.Lens | |
| import Control.Monad.State | |
| import Control.Applicative | |
| import Control.Monad | |
| import Control.Monad.Identity | |
| import qualified Data.Traversable as T |
| import Control.Monad | |
| bind :: (Monad m, Functor m) => m a -> (a -> m b) -> m b | |
| bind m f = join (fmap f m) | |
| unit :: Monad m => a -> m a | |
| unit = return | |
| compose :: (b -> c) -> (a -> b) -> (a -> c) | |
| compose = (.) |
| > {-# LANGUAGE Rank2Types #-} | |
| > | |
| > import Prelude hiding (id) | |
| > import Data.Functor.Constant (Constant(Constant), getConstant) | |
| > import Control.Arrow (Arrow, arr, first, Kleisli(Kleisli), runKleisli, (&&&)) | |
| > import Control.Category ((<<<)) | |
| > import Control.Lens (sequenceAOf) | |
| > import qualified Control.Lens as L | |
| > import qualified Control.Lens.Internal.Setter as LS | |
| > import Data.Profunctor (Profunctor, rmap) |
| {-# LANGUAGE ConstraintKinds, DataKinds, PolyKinds, TypeFamilies, TypeOperators #-} | |
| import GHC.Exts (Constraint) | |
| type family Restrict (a :: k) (as :: [k]) :: Constraint where | |
| Restrict a (a ': as) = ("Error!" ~ "Tried to apply a restricted type!") | |
| Restrict x (a ': as) = Restrict x as | |
| Restrict x '[] = () | |
| foo :: Restrict a [(), Int] => a -> a |
| <html> | |
| <head> | |
| <title>CoffeeScript charts</title> | |
| <script type="text/javascript" src="https://www.google.com/jsapi"></script> | |
| <script type="text/javascript"> | |
| google.load("visualization", "1", {packages:["corechart"]}); | |
| google.load("visualization", "1", {packages:["table"]}); | |
| </script> |
この記事はHaskell Advent Calendar 2012の26日目の記事です。Haskell Advent Calendar初参加です。コメントなどお待ちしております。
HaskellではString([Char]の別名)が文字列の基本型で、これはリストであるためにパターンマッチ・再帰やPreludeやData.Listにあるリスト用の関数を使って処理ができるという利点があります。ただし、実用上はパフォーマンスが低いため、TextやByteStringが代わりに用いられます。Textはいわゆるユニコード文字列、ByteStringはバイト列という区別です。この使い分けに関してはちょうどAdvent Calendarの@brain_appleさんのこの記事で解説されました。StackOverflowでの質問も参考になります。
Hackageを見ると、
| import Graphics.Gloss.Data.Picture | |
| import Codec.Picture.Repa | |
| import Data.Array.Repa as R hiding (map) | |
| import qualified Data.Array.Repa.Repr.ForeignPtr as RF | |
| loadImage :: FilePath -> IO Picture | |
| loadImage path = do | |
| img <- imgData <$> either error id <$> readImageRGBA path | |
| let Z :. h :. w :. _ = R.extent img | |
| return $! bitmapOfForeignPtr w h (RF.toForeignPtr $ flipVertically img) True |
| func Init(cfg : Kuin@CCfg) | |
| do cfg.Title :: "Life Game for Kuin" | |
| do cfg.FullScr :: false | |
| do cfg.PadNum :: 1 | |
| do cfg.WaitTime :: 60 | |
| end func | |
| func Main() | |
| var WIDTH : int :: 168 | |
| var HEIGHT : int :: 96 |
This is a quick guide to OAuth2 support in GitHub for developers. This is still experimental and could change at any moment. This Gist will serve as a living document until it becomes finalized at Develop.GitHub.com.
OAuth2 is a protocol that lets external apps request authorization to private details in your GitHub account without getting your password. All developers need to register their application before getting started.