This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
[~]$ stack install cabal-install | |
hackage-security-0.5.2.2: configure | |
hackage-security-0.5.2.2: build | |
Progress: 1/2 | |
-- While building package hackage-security-0.5.2.2 using: | |
/usr/home/alios/dot_files/.stack/setup-exe-cache/x86_64-freebsd/Cabal-simple_mPHDZzAJ_1.24.2.0_ghc-8.0.2 --builddir=.stack-work/dist/x86_64-freebsd/Cabal-1.24.2.0 build --ghc-options " -ddump-hi -ddump-to-file" | |
Process exited with code: ExitFailure 1 | |
Logs have been written to: /usr/home/alios/dot_files/.stack/global-project/.stack-work/logs/hackage-security-0.5.2.2.log | |
Configuring hackage-security-0.5.2.2... |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
{-# LANGUAGE TypeFamilies #-} | |
{-# LANGUAGE FlexibleContexts #-} | |
{-# LANGUAGE FlexibleInstances #-} | |
import Data.Bits | |
import Data.Word | |
class (Bits (T c)) => C c where | |
type T c :: * | |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
{-# LANGUAGE TemplateHaskell, FlexibleInstances #-} | |
import Test.QuickCheck | |
import Test.QuickCheck.All | |
instance (Bounded a, Enum a, Num a) => Eq (a -> a) where | |
f1 == f2 = and [f1 x == f2 x | x <- [minBound .. maxBound]] | |
t1, t2, t3 :: Int |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
{-# LANGUAGE TemplateHaskell #-} | |
import Test.QuickCheck.All | |
t1 x = x * x | |
t2 x = (x-1)*(x+1)+1 | |
t3 x = (x-2)*(x+2)+4 | |
prop_x1 x = t1 x == t2 x | |
prop_x2 x = t2 x == t3 x |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
{-# LANGUAGE MultiParamTypeClasses, TypeFamilies, GeneralizedNewtypeDeriving #-} | |
{-# LANGUAGE QuasiQuotes, TemplateHaskell, OverloadedStrings #-} | |
{-# LANGUAGE DeriveDataTypeable, NoMonomorphismRestriction, FlexibleInstances #-} | |
{-# LANGUAGE FlexibleContexts #-} | |
import Data.Text (Text) | |
import Language.Haskell.TH.Syntax hiding (lift) | |
import Yesod | |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
{-# LANGUAGE TemplateHaskell, | |
DeriveDataTypeable, | |
TypeFamilies, | |
MultiParamTypeClasses #-} | |
module Test where | |
import Data.Data | |
import Happstack.State |