Language.Hakaru.Types.HClasses

Equality

data HEq

class HEq_ a

sing_HEq

hEq_Sing

Ordering

data HOrd

hEq_HOrd

class HOrd_ a

sing_HOrd

hOrd_Sing

HIntegrable

data HIntegrable

sing_HIntegrable

hIntegrable_Sing

Semirings

data HSemiring

class HSemiring_ a

sing_HSemiring

hSemiring_Sing

Rings

data HRing

hSemiring_HRing

hSemiring_NonNegativeHRing

class HRing_ a

sing_HRing

hRing_Sing

sing_NonNegative

Fractional types

data HFractional

hSemiring_HFractional

class HFractional_ a

sing_HFractional

hFractional_Sing

Radical types

data HRadical

hSemiring_HRadical

class HRadical_ a

sing_HRadical

hRadical_Sing

Discrete types

data HDiscrete

class HDiscrete_ a

sing_HDiscrete

hDiscrete_Sing

Continuous types

data HContinuous

hFractional_HContinuous

hSemiring_HIntegralContinuous

class HContinuous_ a

sing_HContinuous

hContinuous_Sing

sing_HIntegral