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
"use strict"; | |
exports.src = function (script) { | |
return function () { | |
return script.src; | |
}; | |
}; | |
exports.setSrc = function (src) { | |
return function (script) { |
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
{- This is a machine generated module. | |
Do not edit. | |
See cabal file for repository url. | |
-} | |
{- | Two letter Country Codes | |
Defines the type CountryCode with constructors for each | |
of the two-letter codes defined in |
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 Util.IBAN | |
( IBAN(..) | |
, IBANError(..) | |
, parseIBAN | |
, prettyIBAN | |
, SElement | |
, checkStructure | |
, parseStructure | |
, countryStructures | |
, mod97_10 |
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 UI.PTTable where | |
import Data.Maybe | |
import Prelude | |
import Types.Common | |
import Data.Array as DA | |
import Data.Array.NonEmpty (NonEmptyArray) | |
import Data.Array.NonEmpty as DANE | |
import Data.Newtype (class Newtype, unwrap) |
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
import Halogen.VDom.Driver (runUI) | |
import Routing.PushState as RPS | |
main :: Effect Unit | |
main = HA.runHalogenAff do | |
body <- HA.awaitBody | |
i <- liftEffect $ RPS.makeInterface | |
liftEffect $ log "Hello" | |
io <- runUI (maincomp i) unit body | |
liftEffect $ log "Hello2" |
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.Array as DA | |
import Effect (Effect) | |
import Effect.Console (log) | |
import Debug.Trace (traceM) | |
main :: Effect Unit | |
main = |
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
### Keybase proof | |
I hereby claim: | |
* I am linearray on github. | |
* I am amx (https://keybase.io/amx) on keybase. | |
* I have a public key ASDyOIgNrUQNg36_Rqi91EpdKVT-IX-TPihpAE6DInFjpgo | |
To claim this, I am signing this object: |
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
handleClient :: HasCallStack | |
=> Server | |
-> Auth | |
-> Server ApiTypes.ClientApi | |
handleClient s auth = if (isAdmin auth) then get :<|> patch else anonGet :<|> anonPatch |
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
diff --git a/31-Design-Patterns/07-Simulating-Constraint-Kinds.md b/31-Design-Patterns/07-Simulating-Constraint-Kinds.md | |
index 3177b5b..1c11f71 100644 | |
--- a/31-Design-Patterns/07-Simulating-Constraint-Kinds.md | |
+++ b/31-Design-Patterns/07-Simulating-Constraint-Kinds.md | |
@@ -33,14 +33,14 @@ However, the above will not compile because PureScript does not yet have "Constr | |
```purescript | |
-- PureScript with CPS | |
type WithMyMonad m a = | |
- ( MonadAff m | |
- , ConsoleIO m |
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 Util.ChildPath | |
( module Util.ChildPath | |
, module Util.Prism | |
) where | |
import Prelude hiding (compose) | |
import Data.Lens (Prism', review, preview) | |
import Data.Lens.Prism.Coproduct as PC | |
import Data.Lens.Prism.Either as PE |
NewerOlder