Safe Haskell	Safe-Inferred
Language	Haskell2010

Grisette.Internal.Core.Data.Class.Concrete

Synopsis

class Concrete a

Documentation

class Concrete a Source #

A tag for concrete types.

Can be used in code to constrain types to concrete ones. For example, when trying to support hash maps in Grisette, we may want to restrict the key type to be concrete. The Concrete type class is handy.

Instances

Instances details

Concrete Void Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.Concrete
Concrete All Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.Concrete
Concrete Any Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.Concrete
Concrete Int16 Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.Concrete
Concrete Int32 Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.Concrete
Concrete Int64 Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.Concrete
Concrete Int8 Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.Concrete
Concrete Word16 Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.Concrete
Concrete Word32 Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.Concrete
Concrete Word64 Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.Concrete
Concrete Word8 Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.Concrete
Concrete Text Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.Concrete
Concrete Text Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.Concrete
Concrete Integer Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.Concrete
Concrete Natural Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.Concrete
Concrete Bool Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.Concrete
Concrete Char Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.Concrete
Concrete Double Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.Concrete
Concrete Float Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.Concrete
Concrete Int Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.Concrete
Concrete Word Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.Concrete
Concrete a => Concrete (Complex a) Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.Concrete
Concrete a => Concrete (Max a) Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.Concrete
Concrete a => Concrete (Min a) Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.Concrete
Concrete a => Concrete (NonEmpty a) Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.Concrete
Concrete a => Concrete (And a) Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.Concrete
Concrete a => Concrete (Iff a) Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.Concrete
Concrete a => Concrete (Ior a) Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.Concrete
Concrete a => Concrete (Xor a) Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.Concrete
Concrete a => Concrete (Identity a) Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.Concrete
Concrete a => Concrete (First a) Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.Concrete
Concrete a => Concrete (Last a) Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.Concrete
Concrete a => Concrete (Down a) Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.Concrete
Concrete a => Concrete (Dual a) Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.Concrete
Concrete a => Concrete (Product a) Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.Concrete
Concrete a => Concrete (Sum a) Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.Concrete
Concrete a => Concrete (Ratio a) Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.Concrete
Concrete a => Concrete (Maybe a) Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.Concrete
Concrete a => Concrete (Solo a) Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.Concrete
Concrete a => Concrete [a] Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.Concrete
(Concrete a, Concrete b) => Concrete (Either a b) Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.Concrete
(Concrete a, Concrete b) => Concrete (a, b) Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.Concrete
(Concrete a, Concrete b, Concrete c) => Concrete (a, b, c) Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.Concrete
(Concrete (f a), Concrete (g a)) => Concrete (Product f g a) Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.Concrete
(Concrete (f a), Concrete (g a)) => Concrete (Sum f g a) Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.Concrete
(Concrete a, Concrete b, Concrete c, Concrete d) => Concrete (a, b, c, d) Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.Concrete
Concrete (f (g a)) => Concrete (Compose f g a) Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.Concrete
(Concrete a, Concrete b, Concrete c, Concrete d, Concrete e) => Concrete (a, b, c, d, e) Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.Concrete
(Concrete a, Concrete b, Concrete c, Concrete d, Concrete e, Concrete f) => Concrete (a, b, c, d, e, f) Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.Concrete
(Concrete a, Concrete b, Concrete c, Concrete d, Concrete e, Concrete f, Concrete g) => Concrete (a, b, c, d, e, f, g) Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.Concrete
(Concrete a, Concrete b, Concrete c, Concrete d, Concrete e, Concrete f, Concrete g, Concrete h) => Concrete (a, b, c, d, e, f, g, h) Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.Concrete
(Concrete a, Concrete b, Concrete c, Concrete d, Concrete e, Concrete f, Concrete g, Concrete h, Concrete i) => Concrete (a, b, c, d, e, f, g, h, i) Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.Concrete
(Concrete a, Concrete b, Concrete c, Concrete d, Concrete e, Concrete f, Concrete g, Concrete h, Concrete i, Concrete j) => Concrete (a, b, c, d, e, f, g, h, i, j) Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.Concrete
(Concrete a, Concrete b, Concrete c, Concrete d, Concrete e, Concrete f, Concrete g, Concrete h, Concrete i, Concrete j, Concrete k) => Concrete (a, b, c, d, e, f, g, h, i, j, k) Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.Concrete