Skip to content

Instantly share code, notes, and snippets.

@farzadbekran
farzadbekran / Test.purs
Created January 10, 2022 06:06
Formless 3 Type problem
module App.Component.Forms.Test where
import Prologue
import Data.Int as Int
import Formless as F
import Halogen as H
import Halogen.HTML as HH
import Halogen.HTML.Events as HE
import Halogen.HTML.Properties as HP
@farzadbekran
farzadbekran / DB.ConstraintFunctions.hs
Last active November 15, 2021 14:34
Project:M36 Atom Functions
{-# LANGUAGE OverloadedStrings #-}
{-# LANGUAGE LambdaCase #-}
{-# LANGUAGE RecordWildCards #-}
-- | compile with:
-- stack exec -- ghc src/DB/ConstraintFunctions.hs -package project-m36 -package fuzzy
-- load inside tutd with:
-- loadatomfunctions "DB.ConstraintFunctions" "constraintAtomFunctions" "ConstraintFunctions.o"
module DB.ConstraintFunctions where
@farzadbekran
farzadbekran / DB.Temp.hs
Created October 13, 2021 07:13
Extendable errors inside monad transformer stacks
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE KindSignatures #-}
{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE GADTs #-}
{-# LANGUAGE StandaloneDeriving #-}
module DB.Temp where
import Control.Monad.Except
import Control.Monad.Reader