piq9117 piq9117

💀

Nothing good is happening here

Many years weaving pure code in shadows. Monads pulse like dark hearts. Types bite deeper than eternity. I rise with every compile. Fear the functional abyss.

93 followers · 21 following

View GitHub Profile

Recently created

Least recently created

Recently updated

Least recently updated

piq9117 / nixos-intel

Created May 25, 2021 03:54

	libva info: VA-API version 1.8.0
	libva info: Trying to open /run/opengl-driver/lib/dri/iHD_drv_video.so
	libva info: Found init function __vaDriverInit_1_8
	libva error: /run/opengl-driver/lib/dri/iHD_drv_video.so init failed
	libva info: va_openDriver() returns 1
	libva info: Trying to open /run/opengl-driver/lib/dri/i965_drv_video.so
	libva info: Found init function __vaDriverInit_1_8
	libva info: va_openDriver() returns 0
	vainfo: VA-API version: 1.8 (libva 2.8.0)
	vainfo: Driver version: Intel i965 driver for Intel(R) Haswell Mobile - 2.4.1

piq9117 / expression.hs

Last active May 5, 2021 01:53

	{-# LANGUAGE ScopedTypeVariables #-}
	module Main where

	import Control.Applicative (Alternative, empty, (<\|>), liftA2)
	import Control.Monad
	import Data.Char

	main :: IO ()
	main =
	print $ runParser ( sepBy ( many expressionParser ) endOfLine ) rawInput

piq9117 / FSM.hs

Created April 24, 2021 04:55 — forked from adamwespiser/FSM.hs

Finite State Machine ~ in Haskell

	{- stack
	--resolver lts-16.8
	--packages "transformers"
	exec ghci
	-}

	{-# Language
	EmptyDataDeriving
	, GADTs
	, GeneralizedNewtypeDeriving

piq9117 / Main.hs

Created April 8, 2021 00:58 — forked from Gabriella439/Main.hs

Example use of GHC generics to derive datatype parser

	{-# LANGUAGE DefaultSignatures #-}
	{-# LANGUAGE DeriveAnyClass #-}
	{-# LANGUAGE DeriveGeneric #-}
	{-# LANGUAGE EmptyDataDeriving #-}
	{-# LANGUAGE FlexibleContexts #-}
	{-# LANGUAGE FlexibleInstances #-}
	{-# LANGUAGE KindSignatures #-}
	{-# LANGUAGE OverloadedStrings #-}
	{-# LANGUAGE ScopedTypeVariables #-}
	{-# LANGUAGE TypeApplications #-}

piq9117 / io_quickcheck_example.hs

Created March 28, 2021 04:04 — forked from ijt/io_quickcheck_example.hs

Simple example of monadic IO with QuickCheck in Haskell

	#!/usr/bin/env runhaskell

	-- Synopsis:
	-- $ cabal install QuickCheck
	-- $ runhaskell io_quickcheck_example.hs
	--
	-- Author: Issac Trotts <issac.trotts@gmail.com>

	import Directory
	import System.Environment

piq9117 / vector-intersperse.hs

Created December 5, 2020 00:31

	intersperseVec :: a -> Vector a -> Vector a
	intersperseVec sep vec = V.cons ( V.head vec )
	$ foldr (\v accum -> V.cons sep $ V.cons v accum) V.empty ( V.tail vec )

piq9117 / test.csv

Last active August 12, 2020 16:59 — forked from suellenstringer-hye/test.csv

sample csv file

We can make this file beautiful and searchable if this error is corrected: Unclosed quoted field in line 6.

	"first_name","last_name","company_name","address","city","county","state","zip","phone1","phone2","email","web"
	"James","Brent","Benton, John B Jr","6649 N Blue Gum St","New Orleans","Orleans","LA",70116,"504-621-8927","504-845-1427","jbrent@gmail.com","http://www.bentonjohnbjr.com"
	"Josephine","Darakjy","Chanay, Jeffrey A Esq","4 B Blue Ridge Blvd","Brighton","Livingston","MI",48116,"810-292-9388","810-374-9840","josephine_darakjy@darakjy.org","http://www.chanayjeffreyaesq.com"
	"Art","Venere","Chemel, James L Cpa","8 W Cerritos Ave #54","Bridgeport","Gloucester","NJ","08014","856-636-8749","856-264-4130","art@venere.org","http://www.chemeljameslcpa.com"
	"Lenna","Paprocki","Feltz Printing Service","639 Main St","Anchorage","Anchorage","AK",99501,"907-385-4412","907-921-2010","lpaprocki@hotmail.com","http://www.feltzprintingservice.com"
	"Donette","Foller","Printing Dimensions","34 Center St","Hamilton","Butler","OH",45011,"513-570-1893","513-549-4561","donette.foller@cox.net","http://www.printingdimensions.com

piq9117 / LoadedData.ts

Created February 24, 2020 05:23 — forked from puffnfresh/LoadedData.ts

	type LoadedData<A> =
	<B>(f: (a: A) => B, g: (e: Error) => B, b: B) => B;

	function loaded<A>(a: A): LoadedData<A> {
	return <B>(f: (a: A) => B, error: (e: Error) => B, empty: B) => f(a);
	}

	function error<A>(e: Error): LoadedData<A> {
	return <B>(success: (a: A) => B, f: (e: Error) => B, empty: B) => f(e);
	}

piq9117 / homogenous-array.ts

Created February 24, 2020 05:22 — forked from karol-majewski/homogenous-array.ts

Homogeneous arrays in TypeScript

	/**
	* @author https://stackoverflow.com/users/2887218/jcalz
	* @see https://stackoverflow.com/a/50375286/10325032
	*/
	type UnionToIntersection<Union> =
	(Union extends any
	? (argument: Union) => void
	: never
	) extends (argument: infer Intersection) => void
	? Intersection

piq9117 / homogenous-array.ts

Created February 24, 2020 05:22 — forked from karol-majewski/homogenous-array.ts

Homogeneous arrays in TypeScript

	/**
	* @author https://stackoverflow.com/users/2887218/jcalz
	* @see https://stackoverflow.com/a/50375286/10325032
	*/
	type UnionToIntersection<Union> =
	(Union extends any
	? (argument: Union) => void
	: never
	) extends (argument: infer Intersection) => void
	? Intersection

Newer Older