banacorn

{-# LANGUAGE OverloadedStrings, DataKinds, DeriveGeneric, TypeFamilies #-}

module MQ where

import Database.Edis
import Data.ByteString
import Data.Serialize hiding (Get)
import GHC.Generics

data Message = Msg ByteString Integer deriving (Show, Generic)

banacorn

{-# LANGUAGE OverloadedStrings, DataKinds, DeriveGeneric #-}

module MQ where

import Database.Edis
import Data.ByteString
import Data.Serialize
import GHC.Generics

data Message = Msg ByteString Integer deriving (Show, Generic)

banacorn

{-# LANGUAGE OverloadedStrings, DataKinds, DeriveGeneric #-}

module MQ where

import Database.Edis
import Data.ByteString
import Data.Serialize
import GHC.Generics

data Message = Msg ByteString Integer deriving (Show, Generic)

banacorn

• Steuerausländer 國外納稅人？：

  我在此確認，我在德國境內沒有住處（Wohnsitz）而且也沒有經常居住事實（gewönlichen Aufenthalt），因此不須盡繳納所得稅之義務（einkommensteuerpflichtig）

  • 在此附上從德國政府登記單位？（deutschen Meldebehörder）的註銷授權（Abmeldebescheinigung）（否則可能會不被當作 Steuerausländer。）
  • 我持有其他歐盟國家（非德國）的身分證明（Ausweis），並且在歐盟以外有住處。在此附上那住處（由那地方具證明能力的政府單位所發出）的證明（否則要接受 EU-ZIV （Zins 利息？Infomation 資訊？EU Verorden 歐盟規章）的強制登記（Meldepflicht）。）
  • 儘管我在國內有住址，但因為一些特殊的緣故，把我當作國外納稅人 @@

• Steuerinländer 國內納稅人：

我在德國境內有住處或經常居住事實因此須盡德國繳稅義務，或因為其他原因須盡德國繳稅義務

banacorn

{-# LANGUAGE DataKinds, PolyKinds, TypeFamilies, TypeOperators, GADTs
           , OverlappingInstances, FlexibleInstances, UndecidableInstances
           , MultiParamTypeClasses
           #-}

import GHC.TypeLits
import Data.Type.Equality
import Data.Proxy

--------------------------------------------------------------------------------

banacorn

test 測試 \n\r <123> 

banacorn

module Catamorphism where

import Prelude hiding (sum)

data Mu f = InF { outF :: f (Mu f) }

catamorphism :: Functor f => (f a -> a) ->  Mu f -> a
catamorphism f = f . fmap (catamorphism f) . outF

--------------------------------------------------

banacorn

{-# LANGUAGE OverloadedStrings #-}
import Web.Scotty
import Network.Wai (requestHeaders, pathInfo)
import Data.Text (intercalate, unpack)
import Data.Text.Encoding (decodeUtf8)
import Data.Text.Lazy (fromStrict)
import Network.Mime (defaultMimeLookup)
import Control.Applicative ((<$>))
import Control.Monad.Trans (liftIO)

banacorn

{-# LANGUAGE OverloadedStrings #-}
import Network.Wai
import Network.Wai.Handler.Warp (run)
import Network.HTTP.Types (status200)

cedartrunk request = do
    case referer of
        Nothing -> return $ ResponseFile status200 [("Content-Type", "text/html")] "index.html" Nothing
        Just _  -> return $ ResponseFile status200 [] path Nothing
    where   path = tail . tail . init . show . rawPathInfo $ request

banacorn

data Tree a = Nil | Node a (Tree a) (Tree a) deriving (Eq)

data Inbalance = Balanced | LL | RR | LR | RL deriving (Show, Eq)

(+++) :: (Eq a, Ord a) => Tree a -> a -> Tree a
(+++) = insert

instance (Show a, Eq a) => Show (Tree a) where
    show tree = draw tree (height tree) ++ "\n pre: " ++ show (preorder tree) ++ "\n in: " ++ show (inorder tree)
        where