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

module Chu2.Middleware.SimpleLogger where

open import Chu2 using (Middleware)
open import Chu2.FFI using (RawMiddleware→Middleware; RawMiddleware)

private 
  postulate
    raw-simple-logger : RawMiddleware

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

simple-logger : Middleware
simple-logger = RawMiddleware→Middleware raw-simple-logger