LibreTech
  • Home
  • About
  • Author
  • Git
  • Gemini
Purely Functional Data Structure: Sortable
Subscribe
Data Structure

Purely Functional Data Structure: Sortable

  • Guillaume Salvan

    gs@libretech.eu

    More posts by Guillaume Salvan.

Guillaume Salvan

26 Aug 2020 • 2 min read

This post is for paying subscribers only

Subscribe now

Already have an account? Sign in

Subscribe to LibreTech

Get the latest posts delivered right to your inbox

Great! Check your inbox and click the link to confirm your subscription.
Please enter a valid email address!

More in Data Structure

See all 11 posts →
Data Structure

Purely Functional Data Structure: Catenable List

Catenable list A catenable list extends list with efficient append operation using the bootstrapping technique known as structural abstraction. module CatenableList where class CatenableList c where empty :: c a isEmpty :: c a -> Bool cons :: a -> c a -> c a snoc :: c
  • Guillaume Salvan
Guillaume Salvan 28 Aug 2020 • 2 min read
Data Structure

Purely Functional Data Structure: Finite Map

Finite Map {-# LANGUAGE MultiParamTypeClasses #-} module FiniteMap where class FiniteMap m k where empty :: m k a bind :: k -> a -> m k a -> m k a lookup :: k -> m k a -> Maybe a module type FiniteMap = sig type
  • Guillaume Salvan
Guillaume Salvan 24 Aug 2020 • 2 min read
LibreTech © 2021
Latest Posts Ghost
You've successfully subscribed to LibreTech!
Could not sign up! Invalid sign up link.

Subscribe to LibreTech

Stay up to date! Get all the latest & greatest posts delivered straight to your inbox

Great! Check your inbox and click the link to confirm your subscription.
Please enter a valid email address!