John lgastako

I like bacon.

lgastako / MonoidalFizz.hs

Last active May 9, 2020 08:12

	{-# LANGUAGE NoImplicitPrelude #-}
	{-# LANGUAGE OverloadedStrings #-}

	module Fizz where

	import Protolude

	fizzBuzz :: IO ()
	fizzBuzz = run fizzBuzzRules

lgastako / LogMessage.hs

Last active April 30, 2020 19:35

	data MessageType
	= Info
	\| Warning
	\| Error Int
	deriving (Eq, Show)

	type TimeStamp = Int

	type LogMessage = Either String Message

lgastako / Fx.idr

Created February 26, 2020 05:40

	module Fx

	-- Just playing around with implementing my own free effects system in Iris
	-- while watching https://www.youtube.com/watch?v=kIwd1D9m1gE

	import Data.IORef

	-- ================================================================ --
	-- CrapMap
	-- ================================================================ --

lgastako / Beer.hs

Created January 25, 2020 03:41

	main :: IO ()
	main = mapM_ putStrLn beerLines
	where
	beerLines = concatMap genLines [99, 98..1]

	genLines n =
	[ firstLine n
	, "Take one down, pass it around, " ++ suffix n
	]

lgastako / Poker.hs

Last active January 19, 2020 00:14

	{-# LANGUAGE DataKinds #-}
	{-# LANGUAGE ExistentialQuantification #-}
	{-# LANGUAGE FlexibleContexts #-}
	{-# LANGUAGE GADTs #-}
	{-# LANGUAGE KindSignatures #-}
	{-# LANGUAGE LambdaCase #-}
	{-# LANGUAGE NoImplicitPrelude #-}
	{-# LANGUAGE OverloadedStrings #-}
	{-# LANGUAGE RankNTypes #-}
	{-# LANGUAGE ScopedTypeVariables #-}

lgastako / ParseCard.hs

Created January 7, 2020 16:13


	data Suit = Spades \| Hearts \| Clubs \| Diamonds
	deriving Show

	data Rank = Ace \| Two \| Three \| Four \| Five \| Six \| Seven
	\| Eight \| Nine \| Ten \| Jack \| Queen \| King
	deriving Show

	data Card = Card
	{ rank :: Rank

lgastako / STMRace.hs

Created December 18, 2019 01:20

	module STMRace where

	import Control.Concurrent ( threadDelay )
	import Control.Concurrent.Async ( Async
	, async
	, cancel
	, wait
	)
	import Control.Concurrent.MVar ( MVar
	, newMVar

lgastako / STMRace.hs

Last active December 17, 2019 22:51

	module STMRace where

	import Control.Concurrent ( threadDelay )
	import Control.Concurrent.Async ( async
	, cancel
	, wait
	)
	import Control.Concurrent.MVar ( MVar
	, newMVar
	, withMVar

lgastako / Repro.hs

Created October 9, 2019 19:28

	{-# LANGUAGE DeriveGeneric #-}
	{-# LANGUAGE DeriveAnyClass #-}
	{-# LANGUAGE DataKinds #-}
	{-# LANGUAGE GADTs #-}
	{-# LANGUAGE TypeApplications #-}
	{-# LANGUAGE OverloadedStrings #-}
	{-# OPTIONS_GHC -fno-warn-unused-imports #-}
	{-# OPTIONS_GHC -fno-warn-name-shadowing #-}
	{-# OPTIONS_GHC -fno-warn-unused-matches #-}

lgastako / Wcs2.hs

Created September 11, 2019 03:15

	{-# LANGUAGE FlexibleContexts #-}
	{-# LANGUAGE OverloadedStrings #-}
	{-# LANGUAGE TemplateHaskell #-}

	module Wcs2 where

	import qualified Streaming.Prelude as S

	import Control.Lens ( (+~)
	, (^.)