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
`docker-compose up` of a simple `echo hello world` container gives me | |
Recreating dockerrig_sonar_1 | |
Attaching to dockerrig_sonar_1 | |
sonar_1 | hello world | |
whereas `convox start` of the same environment gives me | |
RUNNING: docker build -t vdlpyobjtp /Users/paul/src/wipro/docker-rig/sonar | |
Sending build context to Docker daemon 4.096 kB |
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
With the following `docker-compose.yml`: | |
sonar: | |
build: ./sonar | |
environment: | |
- SONAR_DB_URL | |
ports: | |
- 9000 | |
links: | |
- sonar_db |
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 | |
ConstraintKinds | |
, ExistentialQuantification | |
, FlexibleInstances | |
, MultiParamTypeClasses | |
, TypeOperators | |
, UndecidableSuperClasses | |
#-} | |
module Test where |
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 | |
ConstraintKinds | |
, ExistentialQuantification | |
, FlexibleContexts | |
, FlexibleInstances | |
, KindSignatures | |
, MultiParamTypeClasses | |
, Rank2Types | |
, ScopedTypeVariables | |
, TypeApplications |
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 | |
RankNTypes | |
#-} | |
module Main where | |
data MyResource a = MyResource {unMyResource :: String} | |
withMyResource :: String -> (forall a. MyResource a -> IO r) -> IO r |
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 TypeFamilies #-} | |
module Main where | |
type family Sneaky a where | |
Sneaky (Maybe x) = x -> IO (Maybe x) | |
go :: Sneaky (Maybe Char) | |
go = return . Just |