BartAdv

module Components.Login where

import Prelude
import React as React
import React.DOM as H
import React.DOM.Props as P
import React (ReactClass, ReactElement, EventHandlerContext, getProps, readState, transformState)
import Unsafe.Coerce (unsafeCoerce)

type FormData = { mail :: String, password :: String }

BartAdv

{-# LANGUAGE DeriveDataTypeable, OverloadedStrings #-}
module Main where

import Data.String
import MFlow.Wai.Blaze.Html.All hiding (head)
import Text.Blaze.Html5.Attributes as At hiding (step)
import Control.Monad

import Debug.Trace

BartAdv

module Main

import Test

main : IO ()
main = do
  putStrLn $ show $ test "a" 10

BartAdv

data EventType : Type where
  Click : EventType
  DoubleClick : EventType
   
data ElementType : Type where
  Text : ElementType
  Date : ElementType
   
abstract
data Event : EventType -> ElementType -> Type where

BartAdv

data ElementType : Type where
  Text        : ElementType
  Date        : ElementType

private   
InputProperties : List (String, FTy)
InputProperties = [("disabled", FInt)
                  ,("default", FString)
                  ,("autofocus", FInt)]