IdrisDoc: Prelude

Prelude

while : (test : IO' l Bool) -> (body : IO' l ()) -> IO' l ()

Loop while some test is true

test

the condition of the loop

body

the loop body

uncurry : (a -> b -> c) -> (a, b) -> c
shiftR : Int -> Int -> Int
shiftL : Int -> Int -> Int
pow : Num a => a -> Nat -> a
num_error : Err -> Maybe (List ErrorReportPart)
natRange : Nat -> List Nat
natEnumFromTo : Nat -> Nat -> List Nat
natEnumFromThenTo' : Nat -> Nat -> Nat -> List Nat
natEnumFromThenTo : Nat -> Nat -> Nat -> List Nat
natEnumFromThen : Nat -> Nat -> Stream Nat
eqPtr : Ptr -> Ptr -> IO Bool

Pointer equality

default#succ : Enum a => a -> a
default#enumFromTo : Enum a => a -> a -> List a
default#enumFromThenTo : Enum a => a -> a -> a -> List a
default#enumFromThen : Enum a => a -> a -> Stream a
default#enumFrom : Enum a => a -> Stream a
decAsBool : Dec p -> Bool
curry : ((a, b) -> c) -> a -> b -> c
countFrom : Num n => n -> n -> Stream n
cast_error : Err -> Maybe (List ErrorReportPart)
interface Enum 
pred : Enum a => a -> a
succ : Enum a => a -> a
toNat : Enum a => a -> Nat
fromNat : Enum a => Nat -> a
enumFrom : Enum a => a -> Stream a
enumFromThen : Enum a => a -> a -> Stream a
enumFromTo : Enum a => a -> a -> List a
enumFromThenTo : Enum a => a -> a -> a -> List a