The CSL Standard Library

This section gives an overview of the types and functions which are currently available from the CSL standard library. A number of types are built-in and therefore not defined in the standard library. The complete source code of the standard library can be seen here.

• Functions operating on numbers
  • Int::toFloat : Int -> Float
  • Int::toString : Int -> String
  • Math::abs : Int -> Int
  • Math::fabs : Float -> Float
  • Math::pow : Float -> Float -> Float
  • Math::sqrt : Float -> Float
• String functions
  • String::append : String -> String -> String
• Boolean functions
  • not : Bool -> Bool
• Time and date functions
  • DateTime::addSeconds : DateTime -> Int -> DateTime
  • DateTime::addDays : DateTime -> Int -> DateTime
  • DateTime::Components
  • DateTime::components : DateTime -> DateTime::Components
  • DateTime::DayOfWeek
  • DateTime::dayOfWeek : DateTime -> DateTime::DayOfWeek
• Duration functions
  • Duration::fromSeconds : Float -> Duration
  • Duration::fromMinutes : Float -> Duration
  • Duration::fromHours : Float -> Duration
  • Duration::fromDays : Float -> Duration
  • Duration::toSeconds : Duration -> Float
  • Duration::addSeconds : DateTime -> Float -> DateTime
  • Duration::between : DateTime -> DateTime -> Duration
  • Duration::diffDateTimes : DateTime -> DateTime -> Duration
  • Duration::addDurations : Duration -> Duration -> Duration
  • Duration::subDurations : Duration -> Duration -> Duration
  • Duration::addToDateTime : Duration -> Duration -> DateTime
  • Duration::negate : Duration -> Duration -> Duration
  • Duration::components : Duration -> Duration::Components
• Signed functions
  • Signed::checkSignature : forall a. PublicKey -> Signed a -> Bool
  • Signed::message : forall a. Signed a -> a
• General combinators
  • id : a -> a
  • const : a -> b -> a
  • flip : (a -> b -> c) -> b -> a -> c
• Tuple
  • fst : Tuple a b -> a
  • snd : Tuple a b -> b
• Maybe
  • maybe : b -> (a -> b) -> Maybe a -> b
  • fromMaybe : a -> Maybe a -> a
  • Maybe::map : (a -> b) -> Maybe a -> Maybe b
  • Maybe::isSome : Maybe a -> Bool
  • Maybe::any : (a -> Bool) -> Maybe a -> Bool
  • Maybe::all : (a -> Bool) -> Maybe a -> Bool
  • Maybe::bind : (a -> Maybe b) -> Maybe a -> Maybe b
• Ordering
  • compareInt : Int -> Int -> Ordering
  • compareFloat : Float -> Float -> Ordering
  • compareDateTime : DateTime -> DateTime -> Ordering
• List
  • Folding lists with foldl and foldr
  • Choosing between foldr and foldl
  • List::head : List a -> Maybe a
  • List::headOrDefault : a -> List a -> a
  • List::tail : List a -> Maybe a
  • List::sort : (a -> a -> Ordering) -> List a -> List a
  • List::length : List a -> Int
  • List::isEmpty : List a -> Boolean
  • List::map : (a -> b) -> List a -> List b
  • List::mapMaybe : (a -> Maybe b) -> List a -> List b
  • List::filter : (a -> Bool) -> List a -> List a
  • List::zipWith : (a -> b -> c) -> List a -> List b -> List c
  • List::any : (a -> Bool) -> List a -> Bool
  • List::all : (a -> Bool) -> List a -> Bool
  • List::first : (a -> Bool) -> List a -> Maybe a
  • List::last : (a -> Bool) -> List a -> Maybe a
  • List::append : List a -> List a -> List a
  • List::concat : List (List a) -> List a
  • List::concatMap : (a -> List b) -> List a -> List b
  • List::reverse : List a -> List a
  • List::take : Int -> List a -> List a
  • List::drop : Int -> List a -> List a
  • List::equalsWith : (a -> b -> Bool) -> List a -> List b -> Bool
  • List::Int::equals : List Int -> List Int -> Bool
  • List::Float::equals : List Float -> List Float -> Bool
  • List::String::equals : List String -> List String -> Bool
  • List::DateTime::equals : List DateTime -> List DateTime -> Bool
• Event
  • ContractId
  • getEvents : ContractId -> List Event
• Built-in functions and types
• CSL standard library source code