3noch

module App.Front.Lib.Dom (
  elDynAttrWithPreventDefaultEvent',
  elDynAttrWithModifyConfig'
  ) where

import Control.Lens    ((%~), (.~))
import Data.Map        (Map)
import Data.Proxy      (Proxy(..))
import Data.Text       (Text)
import Reflex.Dom.Core

3noch

leadPropertyFilters :: (Columnar f0 Int
                              ~
                              QGenExpr context syntax s t,
                              HaskellLiteralForQExpr a ~ Int,
                              Columnar f0 Bool ~ QGenExpr context syntax s Bool,
                              Columnar f0 (Maybe Int) ~ QGenExpr context syntax s a1,
                              Columnar f0 Text ~ QGenExpr context syntax s a4,
                              Columnar f0 (Auto Int) ~ QGenExpr context syntax s (Auto a3),
                              Database.Beam.Backend.SQL.SQL92.IsSql92ExpressionSyntax syntax,
                              SqlOrd

3noch

{ config
, pkgs
, lib
, ...
}:
let

  cfg = config.simpleWebServer;

in with lib; {

3noch

{-# LANGUAGE EmptyDataDecls      #-}
{-# LANGUAGE RecordWildCards     #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE TypeFamilies        #-}

module Db.Migration
  ( Method(..)
  , PM36Migration
  , Table, Uniqueness(..)
  , defineTableIfNotExists

3noch

nix-build project-m36.nix

# to open a shell where cabal works
nix-shell -E '(import ./project-m36.nix {}).env'
# cabal build

3noch

{-# LANGUAGE CPP                        #-}
{-# LANGUAGE FlexibleInstances          #-}
{-# LANGUAGE FunctionalDependencies     #-}
{-# LANGUAGE GeneralizedNewtypeDeriving #-}
{-# LANGUAGE MultiParamTypeClasses      #-}
{-# LANGUAGE OverloadedStrings          #-}
{-# LANGUAGE RankNTypes                 #-}
{-# LANGUAGE RecursiveDo                #-}
{-# LANGUAGE ScopedTypeVariables        #-}
{-# LANGUAGE TypeFamilies               #-}

3noch

:set prompt "> "
:set -isrc
:load Main

3noch

{-# LANGUAGE RecursiveDo, TemplateHaskell, FlexibleContexts, TypeFamilies, OverloadedStrings #-}
import Control.Monad
import Control.Lens
import Reflex.Dom
import Reflex.Dom.Widget.Input
import qualified GHCJS.DOM.HTMLInputElement as J
import qualified GHCJS.DOM.Element as J
import Data.FileEmbed

import qualified Data.Text as T

3noch

{-# LANGUAGE PolyKinds, TypeFamilies, TypeOperators #-}

type family ($) (f :: k1) (x :: k2) :: k3

data Id
type instance Id $ x = x

data DoSomething
type instance DoSomething $ x = Either x x

3noch

latestLeft :: (Reflex t, MonadHold t m) => a -> Event t (Either a b) -> m (Dynamic t a)
latestLeft initial x = holdDyn initial $ fmapMaybe (either Just (const Nothing)) x