Skip to content

Instantly share code, notes, and snippets.

@MonoidMusician
MonoidMusician / Main.purs
Last active September 14, 2017 22:14 — forked from chexxor/Main.purs
SQL query row types
module Main where
import Prelude
import Control.Monad.Eff (Eff)
import Control.Monad.Eff.Console (logShow, CONSOLE)
import Data.Foldable (class Foldable, foldl, intercalate)
import Data.Maybe (Maybe(..), maybe)
import Data.Monoid (class Monoid, mempty)
import Data.StrMap (StrMap, lookup)
@MonoidMusician
MonoidMusician / Main.purs
Created September 8, 2017 18:47
Alternative find
module Main where
import Prelude
import Control.Monad.Eff.Console (logShow)
import TryPureScript (render, withConsole)
import Control.Alternative (class Alternative)
import Control.Plus (class Plus)
import Control.Alt (class Alt)
import Data.Foldable (class Foldable, foldMap)
@MonoidMusician
MonoidMusician / Main.purs
Last active September 1, 2017 21:20
mixst
module Main where
import Type.Prelude
import Type.Row
import Type.Data.Boolean
import Type.Data.Symbol as Symbol
import Data.Newtype
data RProxy (r :: # Type) = RProxy
data RLProxy (rl :: RowList) = RLProxy
@MonoidMusician
MonoidMusician / Main.purs
Created August 23, 2017 21:09
Generic.Rep.Sum to list
module Main where
import Prelude
import Type.Proxy (Proxy(..))
import Data.Generic.Rep
foreign import kind List
foreign import data Cons :: Type -> List -> List
foreign import data Nil :: List
@MonoidMusician
MonoidMusician / Main.purs
Last active August 19, 2017 21:58
VisualDottedRhythm
module Main where
import Prelude
import Color (Color, white, rgba')
import Color.Scheme.MaterialDesign (blueGrey, grey, pink, red, purple)
import Control.Monad.Eff (Eff)
import Control.MonadZero (guard)
import Data.Newtype
import Data.Array (sortBy, (..), fromFoldable)
module Test.RowListMaps where
import Control.Monad.Eff (Eff)
import Control.Monad.Eff.Console (CONSOLE, log)
import Data.Maybe (fromJust)
import Data.StrMap as SM
import Data.Tuple (Tuple(..))
import Data.Variant (Variant, inj, SProxy(..))
import Global.Unsafe (unsafeStringify)
import Partial.Unsafe (unsafePartial)