Clean.Core

Contents

• Basic union and product types
• Basic group and ring structure
  • Classes
  • Common monoids
• Fundamental control operations
• Misc functions
• The rest is imported from the Prelude

Synopsis

• type :*: a b = (a, b)
• type :+: a b = Either a b
• class Semigroup m where
  • (+) :: m -> m -> m
• class (Semigroup a, Semigroup b) => SubSemi a b where
  • to :: b -> a
• class Semigroup m => Monoid m where
  • zero :: m
• class Monoid m => Ring m where
  • one :: m
  • (*) :: m -> m -> m
• class Unit f where
  • pure :: a -> f a
• newtype Endo k a = Endo {
  • runEndo :: k a a
  }
• newtype Dual m = Dual {
  • getDual :: m
  }
• newtype OrdList a = OrdList {
  • getOrdList :: [a]
  }
• newtype Interleave a = Interleave {
  • interleave :: [a]
  }
• class Category k where
  • id :: k a a
  • (.) :: k b c -> k a b -> k a c
• class Category k => Choice k where
  • (<|>) :: k a c -> k b c -> k (a :+: b) c
• class Category k => Split k where
  • (<#>) :: k a c -> k b d -> k (a, b) (c, d)
• const :: Unit f => a -> f a
• (&) :: b -> (b -> c) -> c
• first :: Split k => k a c -> k (a, d) (c, d)
• second :: Split k => k b d -> k (c, b) (c, d)
• left :: Choice k => k a c -> k (:+: a c) c
• right :: Choice k => k b c -> k (:+: c b) c
• ifThenElse :: Bool -> t -> t -> t
• guard :: (Unit f, Monoid (f ())) => Bool -> f ()
• fail :: [Char] -> a
• module Prelude

Basic union and product types

Basic group and ring structure

Classes

Common monoids

Fundamental control operations

Misc functions

The rest is imported from the Prelude