Hiroto Shioi HirotoShioi

## file0.txt
const { HIGH24HOUR, LOW24HOUR, PRICE, CHANGE24HOUR, FROMSYMBOL } = currency[exchange];

## gist:62af8eebeaacad3b0fcc0802aaeca55f
0x66240EEc3348B9120f6593254d642Ae19e05e6dC

## error
    • No instance for (Num a) arising from a use of ‘+’
      Possible fix:
        add (Num a) to the context of
          the type signature for:
            sum' :: forall a. [a] -> a
    • In the expression: x + acc
      In the first argument of ‘foldl1’, namely ‘(\ x acc -> x + acc)’
      In the expression: foldl1 (\ x acc -> x + acc)
  |
5 | sum' = foldl1 (\x acc -> x + acc)

## keybase.md

      
              1 file
            
          
              0 forks
            
          
              0 comments
            
          
              0 stars
            
          
                HirotoShioi
                / keybase.md
            
            
              Created
              March 12, 2018 09:11
            
          
    Keybase proof

I hereby claim:

I am hirotoshioi on github.
I am hiroto (https://keybase.io/hiroto) on keybase.
I have a public key ASC3N4a7Z3b00EXgRXh_9nf0-XLjTUtJyOxS7cVIhEsewgo

To claim this, I am signing this object:

  
## file0.txt
data Unit = MkUnit
data Bool = True | False

## gist:180c70fd29335bf6d43d1b2cb414395a
{-# LANGUAGE TypeOperators #-}
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE DeriveGeneric #-}
{-# LANGUAGE OverloadedStrings #-}
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE RecordWildCards #-}

module Main where

import GHC.Generics

## MonadTInterpreter
{-# LANGUAGE GeneralizedNewtypeDeriving #-}
{-# LANGUAGE TypeApplications #-}

module Interpreter where

import Control.Monad.Except
import Control.Monad.State

import Data.Map
import qualified Data.Map as M

## file0.txt
someFun :: Env -> IO ()
...

someHandling :: Env -> Int -> IO Int
...

## file0.txt
newtype App a = App (StateT UTXOs (ExcepT String Identity) a)
  deriving (Functor,
          , Applicative,
          , Monad,
          , MonadState UTXOs
          , MonadError String)

## subcommand.hs
module Main where

import           Data.Semigroup ((<>))
import           Options.Applicative
import           Paths_opt_parse (version)


data CLI
    = CollectEmails
    | ProcessTicket Int
	• No instance for (Num a) arising from a use of ‘+’
	Possible fix:
	add (Num a) to the context of
	the type signature for:
	sum' :: forall a. [a] -> a
	• In the expression: x + acc
	In the first argument of ‘foldl1’, namely ‘(\ x acc -> x + acc)’
	In the expression: foldl1 (\ x acc -> x + acc)
	\|
	5 \| sum' = foldl1 (\x acc -> x + acc)
	{-# LANGUAGE TypeOperators #-}
	{-# LANGUAGE DataKinds #-}
	{-# LANGUAGE DeriveGeneric #-}
	{-# LANGUAGE OverloadedStrings #-}
	{-# LANGUAGE FlexibleContexts #-}
	{-# LANGUAGE RecordWildCards #-}

	module Main where

	import GHC.Generics
	{-# LANGUAGE GeneralizedNewtypeDeriving #-}
	{-# LANGUAGE TypeApplications #-}

	module Interpreter where

	import Control.Monad.Except
	import Control.Monad.State

	import Data.Map
	import qualified Data.Map as M
	someFun :: Env -> IO ()
	...

	someHandling :: Env -> Int -> IO Int
	...
	newtype App a = App (StateT UTXOs (ExcepT String Identity) a)
	deriving (Functor,
	, Applicative,
	, Monad,
	, MonadState UTXOs
	, MonadError String)
	module Main where

	import Data.Semigroup ((<>))
	import Options.Applicative
	import Paths_opt_parse (version)


	data CLI
	= CollectEmails
	\| ProcessTicket Int