Export the following new definitions from Control.Exception.Annotation:
- The class of exception annotations:
Vladislav Zavialov int-index
int-index
/ enforce-children-import-namespaces
Created
April 19, 2025 20:00
Packages compiled to estimate the impact of enforced namespaces in children import lists
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| abstract-deque-0.3 | |
| abstract-deque-tests-0.3 | |
| abstract-par-0.3.3 | |
| AC-Angle-1.0 | |
| acc-0.2.0.3 | |
| ace-0.6 | |
| acid-state-0.16.1.3 | |
| action-permutations-0.0.0.1 | |
| active-0.2.1 | |
| ad-4.5.6 |
int-index
/ implicit-quantification-order
Created
March 5, 2024 18:26
Packages compiled to estimate the impact of new implicit quantification order
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| AC-Angle-1.0 | |
| ALUT-2.4.0.3 | |
| ANum-0.2.0.2 | |
| Agda-2.6.4.2 | |
| Allure-0.11.0.0 | |
| BNFC-2.9.5 | |
| BNFC-2.9.5-e-bnfc | |
| BNFC-meta-0.6.1 | |
| BiobaseEnsembl-0.2.0.1 | |
| BiobaseNewick-0.0.0.2 |
int-index
/ view-pattern-signatures
Created
December 10, 2023 14:56
Packages compiled to estimate the impact of new precedence for view patterns and pattern signatures
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| abstract-deque-0.3 | |
| abstract-deque-tests-0.3 | |
| abstract-par-0.3.3 | |
| AC-Angle-1.0 | |
| acc-0.2.0.3 | |
| ace-0.6 | |
| acid-state-0.16.1.3 | |
| action-permutations-0.0.0.1 | |
| active-0.2.0.18 | |
| ad-4.5.4 |
int-index
/ AddrSing.hs
Created
January 24, 2020 20:25
AddrSing for https://stackoverflow.com/questions/52750918/lifting-existentials-to-type-level
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| {-# LANGUAGE TemplateHaskell, GADTs, ScopedTypeVariables, PolyKinds, DataKinds, | |
| TypeFamilies, TypeOperators, UndecidableInstances, InstanceSigs, | |
| TypeApplications, FlexibleInstances, StandaloneDeriving #-} | |
| module AddrSing where | |
| import GHC.TypeLits | |
| import Data.Kind | |
| import Data.Singletons.TH | |
| import Data.Singletons.Sigma |
int-index
/ Implicit.hs
Last active
April 10, 2019 04:59
— forked from greatBigDot/Implicit.hs
A fixed attempt to represent implicit proof terms in quasi-dependent Haskell.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| {-# LANGUAGE LambdaCase, EmptyCase | |
| , EmptyDataDecls, TypeOperators, LiberalTypeSynonyms, | |
| ExistentialQuantification, GADTSyntax, GADTs | |
| , StandaloneDeriving | |
| , InstanceSigs, FlexibleContexts, MultiParamTypeClasses, | |
| FlexibleInstances , TypeSynonymInstances , FunctionalDependencies | |
| , TypeFamilies, TypeFamilyDependencies, DataKinds, PolyKinds, |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Prelude Language.Haskell.TH GHC.TypeLits> a <- runQ [t| 1 + 2 |] | |
| Prelude Language.Haskell.TH GHC.TypeLits> a | |
| AppT (AppT (ConT GHC.TypeNats.+) (LitT (NumTyLit 1))) (LitT (NumTyLit 2)) | |
| Prelude Language.Haskell.TH GHC.TypeLits> b <- runQ [e| 1 + 2 |] | |
| Prelude Language.Haskell.TH GHC.TypeLits> b | |
| InfixE (Just (LitE (IntegerL 1))) (VarE GHC.Num.+) (Just (LitE (IntegerL 2))) |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| {-# LANGUAGE KindSignatures, DataKinds, FlexibleInstances, FlexibleContexts, | |
| FunctionalDependencies, TypeFamilies, TypeOperators, | |
| PatternSynonyms, UndecidableInstances, ConstraintKinds, | |
| TypeApplications, ScopedTypeVariables, CPP #-} | |
| module NamedDefaults (FillDefaults, fillDefaults, (!.)) where | |
| import Prelude (Maybe(..), id) | |
| import Data.Kind (Type) |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| {-# LANGUAGE RankNTypes, TypeApplications, TypeInType, TypeOperators, | |
| ScopedTypeVariables, TypeFamilies, UndecidableInstances, | |
| GADTs, ConstraintKinds, AllowAmbiguousTypes #-} | |
| module Elem where | |
| import Data.Type.Equality | |
| import Data.Kind | |
| import Unsafe.Coerce |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| {-# LANGUAGE GeneralizedNewtypeDeriving, FlexibleInstances, OverloadedStrings, UndecidableInstances #-} | |
| import Control.Monad.Logger | |
| import Control.Monad.Trans | |
| import Control.Monad.Trans.Identity | |
| import Data.Coerce | |
| class Monad m => MonadFoo m where | |
| foo :: m () |
NewerOlder