はてなブックマーク

import Prelude hiding ((||), (&&), not, and, or) import Data.Char import Data.Array import Data.Ix import Data.Word import Control.Monad import Control.Monad.State import Ersatz -- (ersatz-0.2) fieldRange = ((1,1),(9,9)) unique :: Equatable a => [a] -> Bit unique = go [] where go ss (x:xs) = and (map (/==x) ss) && go (x : ss) xs go _ [] = true sudoku :: (MonadState s m, HasSAT s) => Array (Int, In

{-# LANGUAGE TemplateHaskell, Rank2Types, ExistentialQuantification #-} import Control.Lens import Control.Applicative import Control.Monad.State import Control.Monad.IO.Class import Data.IORef infix 9 .- infix 9 .! data Vec2 = Vec2 Float Float deriving Show (&+) :: Vec2 -> Vec2 -> Vec2 Vec2 x0 y0 &+ Vec2 x1 y1 = Vec2 (x0 + x1) (y0 + y1) newtype Default a = Default { getDefault :: a } deriving (Sh

{-# LANGUAGE OverloadedStrings #-} import Web.Authenticate.OAuth as OAuth -- authenticate-oauth-1.4.0.4 import qualified Data.Aeson as JSON -- aeson-0.6.1.0 import Data.Conduit -- conduit-1.0.0 import Network.HTTP.Conduit -- http-conduit-1.9.0 import Network.HTTP.Types -- http-types-0.8.0 import Network (withSocketsDo) oauth :: OAuth.OAuth oauth = OAuth.newOAuth { OAuth.oauthServerName = "twitter"