Koji Miyazato viercc
viercc
/ Main.hs
Last active
December 15, 2017 12:21
— forked from anonymous/Main.hs
GHC 8.2.2 allows bang patterns in let binding without -XBangPatterns
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 BangPatterns #-} | |
| module Main where | |
| main :: IO () | |
| main = putStrLn "Compiles" | |
| letBangPattern :: Int | |
| letBangPattern = let !x = 1 + 2 in x |
viercc
/ IApplicativeQuestionMark.hs
Created
September 19, 2018 11:33
— forked from phadej/IApplicativeQuestionMark.hs
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 GADTs #-} | |
| {-# LANGUAGE DataKinds #-} | |
| {-# LANGUAGE KindSignatures #-} | |
| {-# LANGUAGE PolyKinds #-} | |
| {-# LANGUAGE RankNTypes #-} | |
| {-# LANGUAGE TypeOperators #-} | |
| -- For the "Another take" | |
| {-# LANGUAGE ConstraintKinds #-} | |
| {-# LANGUAGE FunctionalDependencies #-} |
viercc
/ InfiniteHigherOrderEffect.hs
Last active
December 18, 2023 06:37
— forked from ymdryo/SFunctor.hs
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 GHC2021 #-} | |
| {-# LANGUAGE TypeOperators #-} | |
| {-# LANGUAGE PolyKinds, DataKinds #-} | |
| {-# LANGUAGE TypeFamilies #-} | |
| {-# LANGUAGE DerivingVia #-} | |
| {-# LANGUAGE UndecidableInstances #-} | |
| module InfiniteHigherOrderEffect where | |
| import Data.Kind (Type) | |
| import Data.Functor.Contravariant (Contravariant) |