Haskell¶

Haskell Cheatsheet

snippets¶

• HaskellMaybeChecks
• HaskellTypeLevelMachine

libs¶

• concat (z3cat || smt example) — Compiling to categories — compiler plugin for translating normal Haskell functions (on standard types) to SMT, etc.
• SBV: SMT Based Verification — translates Haskell functions on custom symbolic types
• refined — refinement types

  type ProperFraction = Refined (And (Not (LessThan 0)) (Not (GreaterThan 1))) Double

• hedgehog — random test gen (QuickCheck)
• GHC.Stack — can get code position for DSL
• Data.Sequence — list with fast append on both sides

exts¶

• RebindableSyntax — overloading built-in operators / do notation
• NullaryTypeClasses — global implementation of one thing
• DataKinds , TypeFamilies (+ GHC.TypeLits) — type-level annotations
  • Basic Type Level Programming in Haskell
  • Parsing type-level strings in Haskell
  • Servant, Type Families, and Type-level Everything
  • Haskell Type Names as Strings