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
using UnityEngine; | |
using System.Collections.Generic; | |
using DungeonArchitect; | |
using DungeonArchitect.Graphs; | |
using DungeonArchitect.Utils; | |
using DungeonArchitect.Flow.Domains.Tilemap; | |
using DungeonArchitect.Builders.GridFlow; | |
/// <summary> | |
/// Spawns various theme override volumes around rooms and corridors. |
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
example | |
:: MonadWidget t m | |
=> Dynamic t Thing | |
-> m (Dynamic t ValidThing) | |
example dyThing = | |
return $ runMaybeT $ do -- the Dynamic monad | |
name <- lift (thing_name <$> dyThing) | |
-- Name must be non-empty | |
guard $ name /= "" |
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
linkedinWidget :: MonadWidget t m => m () | |
linkedinWidget = | |
elSvgNS "svg" svg $ | |
elSvgNS "path" p blank | |
where | |
elSvgNS t attr guts = do | |
(_, a) <- elDynAttrNS' (Just "http://www.w3.org/2000/svg") t (constDyn attr) guts | |
return a | |
svg = "class" =: "svg" <> "viewBox" =: "0 0 32 32" |
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 CPP #-} | |
{-# LANGUAGE RankNTypes #-} | |
{-# LANGUAGE ScopedTypeVariables #-} | |
module Main where | |
import Control.Monad ( void ) | |
import Control.Monad.IO.Class ( liftIO ) | |
import Data.Map as Map | |
import Data.Text as T |
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 CPP #-} | |
{-# LANGUAGE RankNTypes #-} | |
{-# LANGUAGE ScopedTypeVariables #-} | |
module Main where | |
import Control.Monad ( void ) | |
import Control.Monad.IO.Class ( liftIO ) | |
import Data.Map as Map | |
import Data.Text as T |
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 CPP #-} | |
{-# LANGUAGE RankNTypes #-} | |
module Main where | |
import Control.Monad ( void ) | |
import Control.Monad.IO.Class ( liftIO ) | |
import Data.Map as Map | |
import Data.Text | |
import Language.Javascript.JSaddle |
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 where | |
import qualified Data.Map as Map | |
import Data.Text | |
import Reflex.Dom | |
main :: IO () | |
main = mainWidgetWithHead header body | |
header :: MonadWidget t m => m () |
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 FlexibleContexts #-} | |
{-# LANGUAGE OverloadedStrings #-} | |
{-# LANGUAGE RecursiveDo #-} | |
{-# LANGUAGE TypeFamilies #-} | |
module Frontend where | |
import Control.Monad (join) | |
import Obelisk.Frontend | |
import Obelisk.Route |
NewerOlder