This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
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 } |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
{-# 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 |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
module Main | |
import Test | |
main : IO () | |
main = do | |
putStrLn $ show $ test "a" 10 |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
data EventType : Type where | |
Click : EventType | |
DoubleClick : EventType | |
data ElementType : Type where | |
Text : ElementType | |
Date : ElementType | |
abstract | |
data Event : EventType -> ElementType -> Type where |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
data ElementType : Type where | |
Text : ElementType | |
Date : ElementType | |
private | |
InputProperties : List (String, FTy) | |
InputProperties = [("disabled", FInt) | |
,("default", FString) | |
,("autofocus", FInt)] |