idris-0.9.2: lib/checkall.idr

module checkall

-- This file just exists to typecheck all the prelude modules
-- Add imports here 

import builtins
import prelude
import io
import system

import prelude.algebra
import prelude.cast
import prelude.nat
import prelude.fin
import prelude.list
import prelude.maybe
import prelude.monad
import prelude.applicative
import prelude.either
import prelude.vect
import prelude.strings
import prelude.char
import prelude.heap
import prelude.complex

import network.cgi 

import control.monad.identity
import control.monad.state