IdrisDoc: Prelude

Prelude

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
cast_error : Err -> Maybe (List ErrorReportPart)
countFrom : Num n => n -> n -> Stream n
curry : ((a, b) -> c) -> a -> b -> c
decAsBool : Dec p -> Bool
default#enumFrom : Enum a => a -> Stream a
default#enumFromThen : Enum a => a -> a -> Stream a
default#enumFromThenTo : Enum a => a -> a -> a -> List a
default#enumFromTo : Enum a => a -> a -> List a
default#succ : Enum a => a -> a
eqPtr : Ptr -> Ptr -> IO Bool

Pointer equality

natEnumFromThen : Nat -> Nat -> Stream Nat
natEnumFromThenTo : Nat -> Nat -> Nat -> List Nat
natEnumFromThenTo' : Nat -> Nat -> Nat -> List Nat
natEnumFromTo : Nat -> Nat -> List Nat
natRange : Nat -> List Nat
num_error : Err -> Maybe (List ErrorReportPart)
pow : Num a => a -> Nat -> a
shiftL : Int -> Int -> Int
shiftR : Int -> Int -> Int
uncurry : (a -> b -> c) -> (a, b) -> c
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