Defining an Applicative instance on a GADT

This page summarizes the projects mentioned and recommended in the original post on /r/haskellquestions

WorkOS
Our great sponsors
  • WorkOS - The modern identity platform for B2B SaaS
  • InfluxDB - Power Real-Time Data Analytics at Scale
  • SaaSHub - Software Alternatives and Reviews
Our great sponsors

  • ghc

    Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with the newcomers info (https://gitlab.haskell.org/ghc/ghc/wikis/contributing).

    • GHCi, version 8.8.4: https://www.haskell.org/ghc/ :? for help Loaded GHCi configuration from /home/bss/.ghc/ghci.conf GHCi> :set -XGADTs GHCi> :{ GHCi| data Foo a where GHCi| Bar1 :: Int -> Foo Int GHCi| Bar2 :: Float -> Foo Float GHCi| :} type role Foo nominal data Foo a where ... (0.00 secs, 0 bytes) GHCi> :set -XEmptyCase GHCi> :{ GHCi| instance Functor Foo where GHCi| fmap f x = case x of {} GHCi| :} (0.00 secs, 0 bytes)

  • WorkOS

    The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.

    WorkOS logo
NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a more popular project.

Suggest a related project

Related posts