@hackage sequent-core dependencies

13 results

library:sequent-core (4 dependencies)

@haskell/transformers

Concrete functor and monad transformers

@haskell/containers

Assorted concrete container types

@haskell/base

Core data structures and operations

BSD-3-Clause>=4 && <5

@hackage/ghc

The GHC API

BSD-3-Clause>=7.8 && <7.10

executable:CasesExpl (2 dependencies)

@haskell/base

Core data structures and operations

BSD-3-Clause>=4 && <5

@hackage/sequent-core

Alternative Core language for GHC plugins

executable:DumpExpl (2 dependencies)

@haskell/base

Core data structures and operations

BSD-3-Clause>=4 && <5

@hackage/sequent-core

Alternative Core language for GHC plugins

executable:SimplExpl (2 dependencies)

@haskell/base

Core data structures and operations

BSD-3-Clause>=4 && <5

@hackage/sequent-core

Alternative Core language for GHC plugins

executable:SpecConstrExpl (3 dependencies)

@haskell/containers

Assorted concrete container types

@haskell/base

Core data structures and operations

BSD-3-Clause>=4 && <5

@hackage/sequent-core

Alternative Core language for GHC plugins