chu2-2012.11.18: src/Chu2/Middleware/SimpleLogger.agda

module Chu2.Middleware.SimpleLogger where

open import Chu2            using (rawMiddlewareToMiddleware; RawMiddleware; Middleware)

private 
  postulate
    raw-simple-logger : RawMiddleware

{-# IMPORT Chu2.Middleware.SimpleLoggerFFI #-}
{-# COMPILED raw-simple-logger Chu2.Middleware.SimpleLoggerFFI.simple_logger #-}

simple-logger : Middleware
simple-logger = rawMiddlewareToMiddleware raw-simple-logger