lgastako

module BinChar
-- %default total

-- Binary literals

data BinChar : Char -> Type where
  O : BinChar '0'
  I : BinChar '1'

data Every : (a -> Type) -> List a -> Type where

lgastako

module ParserExperiment
  ( statementParser
  ) where

import Control.Applicative ( (<*) )
import Data.Functor        ( (<$) )
import Text.Parsec
import Text.Parsec.Char    ( upper )

type Identifier = String

lgastako

#!/usr/bin/env stack
-- stack --resolver lts-9.21 --install-ghc runghc --package aeson --package lens --package protolude --package safe --package servant --package superrecord --package text --package time --package warp

{-# LANGUAGE DataKinds                  #-}
{-# LANGUAGE FlexibleContexts           #-}
{-# LANGUAGE GeneralizedNewtypeDeriving #-}
{-# LANGUAGE MultiParamTypeClasses      #-}
{-# LANGUAGE NoImplicitPrelude          #-}
{-# LANGUAGE OverloadedLabels           #-}
{-# LANGUAGE OverloadedStrings          #-}

lgastako

type Enum a
    = Enum
        { predFn : a -> Maybe a
        , succFn : a -> Maybe a
        }


pred : Enum a -> a -> Maybe a
pred (Enum { predFn }) =
    predFn

lgastako

module TreeFolds where

data Tree a
  = Leaf a
  | Branch (Tree a) (Tree a)
  deriving (Eq, Ord, Read, Show)

instance Foldable Tree where
  foldMap f (Leaf a)     = f a
  foldMap f (Branch l r) = foldMap f l `mappend` foldMap f r

lgastako

{-# LANGUAGE RecursiveDo #-}

-- | A simple example of a Reflex application that uses both elm style "global"
--   state and component level "local" state. The global state is a counter that
--   can be incremented and decremented by buttons that remember how many times
--   they have been clicked.

module Main where

import Control.Applicative

lgastako

:set prompt "λ: "

:set -fno-warn-unused-imports
:def hlint const . return $ ":! hlint \"src\""
:def hoogle \s -> return $ ":! hoogle --count=15 \"" ++ s ++ "\""
:def pl return . (":! pointfree \"" ++) . (++ "\"")

lgastako

type Branches
    = Epistemology
    | Ethics
    | Logic
    | Metaphysics
    

type Branches =
    | Epistemology
    | Ethics

lgastako

CREATE VIEW salesforce.actual_sf_task_count AS
    SELECT COUNT(*) sf_task_count
    FROM salesforce.sf_task;

-- [local]:5432 salesforce@salesforce # SELECT * FROM actual_sf_task_count;
-- +---------------+
-- | sf_task_count |
-- +---------------+
-- |       8226055 |
-- +---------------+

lgastako

module Main where

import Data.Map (Map)
import qualified Data.Map as Map

main = let someItems = [1, 2, 3, 4]
           someMapping = Map.fromList [ ("ST", "started")
                                      , ("IP", "in progress")
                                      , ("DN", "done")
                                      ]