This file contains hidden or 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 Record.Apply where | |
import Prelude | |
import Data.Symbol (class IsSymbol) | |
import Prim.Row as Row | |
import Prim.RowList (class RowToList, RowList) | |
import Prim.RowList as RL | |
import Record as Record | |
import Record.Builder as RB |
This file contains hidden or 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 Keys where | |
import Prelude (Unit, mempty, ($)) | |
import Data.List.Types (List, (:)) | |
import Data.Symbol (class IsSymbol, SProxy(..), reflectSymbol) | |
import Effect (Effect) | |
import Effect.Console (logShow) | |
import Type.Data.Row (RProxy(..)) | |
import Type.RowList (class RowToList, Cons, Nil, RLProxy(..), kind RowList) |
This file contains hidden or 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 App (Query, app) where | |
import Prelude | |
import Control.Monad.Reader (Reader, asks, runReader) | |
import Data.Array ((:)) | |
import Data.Lens (Lens', (^.), _1, _2, set, view) | |
import Data.Lens.Record (prop) | |
import Data.Maybe (Maybe(Nothing)) | |
import Data.Symbol (SProxy(..)) | |
import Data.Tuple (Tuple(..)) |
This file contains hidden or 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
{- | |
This example shows how to create the Halogen equivalent of a stateless React component. | |
Notice that "incrementer" is not a Halogen Component at all; rather, it is merely a function that produces a view using | |
Halogen's HTML DSL. | |
-} | |
module App (Query, app) where |
This file contains hidden or 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 where | |
import Control.Monad.Trans.Class (lift) | |
import Control.Monad.Trans.Maybe (MaybeT(..), runMaybeT) | |
import Data.Maybe (Maybe(..), fromMaybe) | |
import System.Environment (lookupEnv) | |
data ConnectInfo = ConnectInfo { host :: String, user :: String, pass :: String } | |
deriving Show |
This file contains hidden or 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 where | |
import Prelude | |
import Control.IxMonad ((:>>=), (:*>)) | |
import Control.Monad.Aff (Aff, attempt) | |
import Control.Monad.Eff (Eff) | |
import Control.Monad.Eff.Console (CONSOLE) | |
import Data.Argonaut (class DecodeJson, (.?), decodeJson) | |
import Data.Either (hush) | |
import Data.Maybe (Maybe) |