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
Introduction | |
Welcome to our web development agency, where we specialize in crafting digital solutions tailored to meet your unique needs. At our agency, we understand the pivotal role that a well-designed website plays in today's digital landscape. Whether you're a small startup aiming to establish your online presence or a large corporation seeking to enhance user engagement, we have the expertise to turn your vision into reality. With a dedicated team of seasoned developers, designers, and strategists, we're committed to delivering top-notch products and services that exceed your expectations. | |
Custom Web Development | |
One of our core offerings is custom web development services. We recognize that every business is different, which is why we take a bespoke approach to each project. Our team works closely with you to understand your objectives, target audience, and brand identity. From there, we leverage the latest technologies and industry best practices to build a website that not only looks stunning but als |
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
-- Right at the very beginning, you have to deal with the mess of string types in Haskell. | |
{-# LANGUAGE OverloadedStrings #-} | |
module Config where | |
import Data.Aeson as Aeson | |
-- Union/sum type to decide the logging configuration | |
data LoggingCfg = LogFile String | Syslog |
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
-- Union/sum type to decide the logging configuration | |
let LoggingCfg = < LogFile : Text | Syslog > | |
-- Configuration that is common across applications. One can also define | |
-- AppOneCfg and AppTwoCfg for config params that are specific to each app. | |
let CommonCfg = | |
{ logging : LoggingCfg | |
-- ^ the logging configuration that should be same across both applications | |
, topic : Text |
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
let elmApps = [("File1.elm", "File1.js"), ("File2.elm", "File2.js")] | |
(buildDir </> "elm-apps.shake") %> \out -> do | |
srcFiles <- getDirectoryFiles "" ["elm-ui/src//*.elm"] | |
need ("elm-ui/elm-package.json":srcFiles) | |
forM_ elmApps $ \(elmSrc, outFile) -> do | |
cmd_ (Cwd "elm-ui") ["elm-make", "--output", "../dist" </> outFile, "--yes", "src" </> elmSrc] | |
cmd_ (Cwd "elm-ui") ["gulp", "checksum", "../dist"] | |
writeFile' out "" |
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
streamly > /private/var/folders/j7/fgt692sj0wzg0lvrk86ctnxc0000gn/T/stack92624/streamly-0.7.1/src/Streamly/Internal/Data/Prim/Array/Types.hs:216:34: error: | |
streamly > • No instance for (Semigroup ByteArray) arising from a use of ‘<>’ | |
streamly > • In the first argument of ‘byteArrayToPrimArray’, namely | |
streamly > ‘(primArrayToByteArray x <> primArrayToByteArray y)’ | |
streamly > In the expression: | |
streamly > byteArrayToPrimArray | |
streamly > (primArrayToByteArray x <> primArrayToByteArray y) | |
streamly > In an equation for ‘<>’: | |
streamly > x <> y | |
streamly > = byteArrayToPrimArray |
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
{-# LANGUAGE TypeFamilies #-} | |
{-# LANGUAGE MultiParamTypeClasses #-} | |
{-# LANGUAGE UndecidableInstances #-} | |
{-# LANGUAGE InstanceSigs #-} | |
{-# LANGUAGE ScopedTypeVariables #-} | |
{-# LANGUAGE TypeApplications #-} | |
module AppM where | |
import Control.Monad.Reader | |
import Models.BillingPlan hiding (StorefrontAccess, BackofficeAccess) |
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
{-# LANGUAGE MultiParamTypeClasses #-} | |
{-# LANGUAGE FlexibleInstances #-} | |
{-# LANGUAGE ScopedTypeVariables #-} | |
{-# LANGUAGE InstanceSigs #-} | |
{-# LANGUAGE RankNTypes #-} | |
module Try2 where | |
import Control.Monad.Reader |
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
data Permission = PermA | PermB | PermC deriving (Eq, Show) | |
data EnsurePermissions (ps :: [Permission]) = EnsurePermissions | |
instance ( HasServer api context | |
) => HasServer (EnsurePermissions (ps :: [Permission]) :> api) context where | |
type ServerT (EnsurePermissions ps :> api) m = (() -> ServerT api m) | |
-- I want to convert the type `ps` to it's equivalent value in this function | |
route Proxy context subserver = undefined |
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
{-# LANGUAGE DataKinds #-} | |
{-# LANGUAGE ScopedTypeVariables #-} | |
{-# LANGUAGE TypeOperators #-} | |
{-# LANGUAGE BangPatterns #-} | |
{-# LANGUAGE OverloadedStrings #-} | |
{-# LANGUAGE FlexibleContexts #-} | |
{-# LANGUAGE FlexibleInstances #-} | |
{-# LANGUAGE MultiParamTypeClasses #-} | |
{-# LANGUAGE PolyKinds #-} | |
{-# LANGUAGE RankNTypes #-} |
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
Apr 14 07:31:24 14333 kernel: [843556.475850] INFO: rcu_sched detected stalls on CPUs/tasks: | |
Apr 14 07:31:24 14333 kernel: [843556.475854] 0-...!: (1 GPs behind) idle=ffa/1/0 softirq=7326149/7326150 fqs=0 | |
Apr 14 07:31:24 14333 kernel: [843556.475855] (detected by 1, t=34565 jiffies, g=5573741, c=5573740, q=262) | |
Apr 14 07:31:24 14333 kernel: [843556.475859] Sending NMI from CPU 1 to CPUs 0: | |
Apr 14 07:31:24 14333 kernel: [843556.476867] NMI backtrace for cpu 0 | |
Apr 14 07:31:24 14333 kernel: [843556.476868] CPU: 0 PID: 0 Comm: swapper/0 Tainted: P O L 4.15.0-47-generic #50-Ubuntu | |
Apr 14 07:31:24 14333 kernel: [843556.476869] Hardware name: BHYVE, BIOS 1.00 03/14/2014 | |
Apr 14 07:31:24 14333 kernel: [843556.476869] RIP: 0010:io_serial_in+0x18/0x20 | |
Apr 14 07:31:24 14333 kernel: [843556.476869] RSP: 0018:ffff9b1a3fc03c10 EFLAGS: 00000002 | |
Apr 14 07:31:24 14333 kernel: [843556.476870] RAX: 0000000084a02960 RBX: ffffffff85efee20 RCX: 0000000000000000 |
NewerOlder