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
| # extracted from http//www.naturalearthdata.com/download/110m/cultural/ne_110m_admin_0_countries.zip | |
| # under public domain terms | |
| country_bounding_boxes = { | |
| 'AF': ('Afghanistan', (60.5284298033, 29.318572496, 75.1580277851, 38.4862816432)), | |
| 'AO': ('Angola', (11.6400960629, -17.9306364885, 24.0799052263, -4.43802336998)), | |
| 'AL': ('Albania', (19.3044861183, 39.624997667, 21.0200403175, 42.6882473822)), | |
| 'AE': ('United Arab Emirates', (51.5795186705, 22.4969475367, 56.3968473651, 26.055464179)), | |
| 'AR': ('Argentina', (-73.4154357571, -55.25, -53.628348965, -21.8323104794)), | |
| 'AM': ('Armenia', (43.5827458026, 38.7412014837, 46.5057198423, 41.2481285671)), |
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
| module Main where | |
| import Prelude | |
| import Data.Foldable (fold) | |
| import TryPureScript | |
| import Unsafe.Coerce (unsafeCoerce) | |
| undefined :: ∀ a. a | |
| undefined = unsafeCoerce unit |
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
| module Main where | |
| import Prelude | |
| import Data.Foldable (fold) | |
| import TryPureScript | |
| newtype Name = Name String | |
| derive newtype instance showName :: Show Name |
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
| module Main where | |
| import Prelude | |
| import Data.Foldable (fold) | |
| import TryPureScript | |
| import Unsafe.Coerce (unsafeCoerce) | |
| undefined :: ∀ a. a | |
| undefined = unsafeCoerce unit |
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
| def interpret(ast) | |
| interpreter = DispatchInterpreter.new([ | |
| [DnsDSL, DnsInterpreter.new], | |
| [JobDSL, DelayedJobInterpreter.new], | |
| [CrudDSL, CrudActiveRecordInterpreter.new], | |
| [SystemCommandDSL, SystemCommandInterpreter.new], | |
| [FirstOrderDiscountDSL, FirstOrderDiscountInterpreter.new], | |
| [ExceptionNotifierDSL, ExceptionNotifierInterpreter.new], | |
| [InvoiceDSL, InfaktInvoiceInterpreter.new], | |
| [CreditCardPaymentDSL, PayLane::Interpreter.new], |
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
| module Main where | |
| import Prelude | |
| import Data.Foldable (fold) | |
| import TryPureScript | |
| import Data.Maybe | |
| import Data.Either | |
| import Data.String (length) | |
| import Control.Alt ((<|>)) |
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
| module ListT where | |
| import Prelude | |
| import Data.List | |
| import Data.Either | |
| import Data.Identity | |
| import Control.Apply | |
| import Control.Bind |
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
| module Main where | |
| import Prelude | |
| import Data.Functor.Coproduct | |
| import Data.Foldable (fold) | |
| import TryPureScript | |
| import Data.Either | |
| import Control.Monad.Free | |
| type File = { name :: String, path :: String, fileData :: String } |
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
| module Main where | |
| import Prelude | |
| import Data.Maybe | |
| import Data.Traversable | |
| import Data.Foldable (foldl, fold) | |
| import Data.String (split, Pattern (..) ) | |
| import Data.Int (fromString) | |
| import Data.List | |
| import Control.Alt |
NewerOlder