boj

{-# LANGUAGE DeriveGeneric #-}
{-# LANGUAGE FunctionalDependencies #-}
{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE TemplateHaskell #-}

module Main where

import Control.Lens
import GHC.Generics

boj

{-# LANGUAGE DataKinds #-}
{-# LANGUAGE KindSignatures #-}
{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE TypeSynonymInstances #-}
{-# LANGUAGE TypeFamilies #-}

module Main where
  
import Data.Coerce

boj

{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE TypeSynonymInstances #-}
{-# LANGUAGE TypeFamilies #-}

module Main where
  
import Data.Coerce
import Data.Tagged

data Validated

boj

module Main where

import Data.Coerce

data Validated
data Unvalidated

class AbstractError e

data MyError = MyError String deriving (Show)

boj

{ compiler ? "ghc844" }:

let
  nixpkgs = import <nixpkgs> {};
  inherit (nixpkgs) pkgs stdenv;
in
# Make a new "derivation" that represents our shell
stdenv.mkDerivation {
  name = "servant-dev";

boj

{-# LANGUAGE DataKinds #-}
{-# LANGUAGE KindSignatures #-}
{-# LANGUAGE RecordWildCards #-}

module Main where

--------------------------------------------------------------------------------
import Data.Coerce
import Data.Foldable
--------------------------------------------------------------------------------

boj

{ compiler ? "ghc865" }:

let
  nixpkgs = import <nixpkgs> {};
  inherit (nixpkgs) pkgs stdenv;
in
# Make a new "derivation" that represents our shell
stdenv.mkDerivation {
  name = "communication-dev";

boj

# don't trigger on branch
trigger:
  branches:
    exclude:
      - '*'

# trigger on pr
pr:
  autoCancel: true
  branches:

boj

==================== Asm code ====================
.section .rodata.str,"aMS",@progbits,1
.align 1
.align 1
$trModule1_r1Lj_bytes:
	.asciz "main"



==================== Asm code ====================

boj

{-# LANGUAGE OverloadedStrings #-}

module Service.TypesSpec where

--------------------------------------------------------------------------------
import Test.Hspec
import Test.QuickCheck
--------------------------------------------------------------------------------
import Data.List (nub)
import Data.Text (Text)