cinch-base / 0.1.0Prelude.cinch

Declaration source.

This sample listing contains the declarations shown in the API reference. Package implementations will appear here when real package data is connected.

module Prelude where

3-- An unbounded natural number. Arithmetic on Nat does not overflow.
4data Nat
5-- Zero :: Nat
6-- Succ :: Nat -> Nat
7 

8-- A truth value.
9data Bool
10-- False :: Bool
11-- True :: Bool
12 

13-- An unbounded signed integer.
14opaque Int
15 

16-- An immutable string of Unicode text.
17opaque String
18 

19-- A reference that borrows a value for the lifetime of region.
20opaque Ref region a
21 

22-- The type with a single value, ().
23data Unit
24 

25-- An immutable sequence of bytes.
26opaque Bytes
27 

28-- An effect for interaction with an external environment.
29effect Io region
30 

31-- A total ordering on values of a type.
32signature Ord a
33 

34-- Return the supplied value unchanged.
35id :: forall a. a -> a
36 

37-- Return the first argument and ignore the second.
38const :: forall a b. a -> b -> a
39 