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
package shajra.learn | |
import shajra.learn.typeclass.Functor | |
import shajra.learn.typeclass.Functor.Syntax._ | |
trait Mu[F[_]] { | |
def fold[X](k: F[X] => X): X |
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
def pipeline_update: | |
{ | |
"name": .name, | |
"template": "c12e-ci", | |
"label_template": (.name + "-${COUNT}"), | |
"enable_pipeline_locking": false, | |
"materials": [ | |
{ | |
"type": "git", | |
"attributes": { |
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
package com.work.learn | |
package typeclass | |
trait Functor[F[_]] { | |
def map[A, B](fa: F[A])(f: A => B): F[B] | |
} | |
object Functor { |
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 NoImplicitPrelude #-} | |
import qualified Prelude as P | |
main :: P.IO () | |
main = P.putStrLn "Test suite not yet implemented" | |
a :: P.Maybe P.Bool |
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
The user `nixbld1' is already a member of `nixbld'. | |
The user `nixbld2' is already a member of `nixbld'. | |
The user `nixbld3' is already a member of `nixbld'. | |
The user `nixbld4' is already a member of `nixbld'. | |
The user `nixbld5' is already a member of `nixbld'. | |
The user `nixbld6' is already a member of `nixbld'. | |
The user `nixbld7' is already a member of `nixbld'. | |
The user `nixbld8' is already a member of `nixbld'. | |
The user `nixbld9' is already a member of `nixbld'. | |
The user `nixbld10' is already a member of `nixbld'. |
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
package shajra.extn.http4s.core | |
import org.http4s. | |
{ Charset, CharsetRange, ContentCoding, EntityEncoder, HasQValue, Header, | |
HeaderKey, Headers, LanguageTag, MediaRange, MediaType, QValue } | |
import org.http4s.headers. | |
{ Accept, `Accept-Encoding`, `Accept-Charset`, `Accept-Language`, | |
`Content-Encoding`, `Content-Type` } | |
import org.http4s.util.CaseInsensitiveString |
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
package shajra.extn.scalaz | |
import scalaz. | |
{ \/, Arrow, Applicative, Foldable, Functor, IsomorphismApplicative, | |
IsomorphismFunctor, IsomorphismMonoid, IsomorphismPlus, | |
IsomorphismSemigroup, Kleisli, Maybe, Monoid, NonEmptyList, Plus, | |
ProChoice, Semigroup, Validation } | |
import scalaz.Isomorphism. | |
{ <=>, <~>, <~~>, IsoBifunctorTemplate, IsoFunctorTemplate, IsoSet } |
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
package shajra.tagless | |
import argonaut.{ HCursor, DecodeResult, DecodeJson, Parse } | |
import argonaut.Argonaut.jString | |
import scalaz._ | |
import scalaz.Isomorphism.<~> | |
import scalaz.syntax.monad._ | |
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
import java.util.concurrent.ExecutorService | |
import scalaz.Maybe | |
import scalaz.syntax.maybe._ | |
final case class Pools(cpu: Maybe[Pool[Pool.Cpu]], io: Maybe[Pool[Pool.Io]]) | |
object Pools { | |
def none: Pools = Pools(Maybe.empty, Maybe.empty) |
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 GeneralizedNewtypeDeriving #-} | |
import Control.Monad.IO.Class | |
import Control.Monad.Trans.Class | |
import Prelude hiding (log) | |
-------------------------------------------------------------------------------- | |
-- The API for cloud files. | |
class Monad m => MonadCloud m where | |
saveFile :: Path -> Bytes -> m () |