Inferno.Types.Type

Documentation

data BaseType

Constructors

TInt

TDouble

TWord16

TWord32

TWord64

TText

TTime

TTimeDiff

TResolution

TEnum Text (Set Ident)

Instances

Arbitrary BaseType

Defined in Inferno.Types.Syntax

Methods

arbitrary :: Gen BaseType

shrink :: BaseType -> [BaseType]

FromJSON BaseType

Defined in Inferno.Types.Syntax

Methods

parseJSON :: Value -> Parser BaseType

parseJSONList :: Value -> Parser [BaseType]

ToJSON BaseType

Defined in Inferno.Types.Syntax

Methods

toJSON :: BaseType -> Value

toEncoding :: BaseType -> Encoding

toJSONList :: [BaseType] -> Value

toEncodingList :: [BaseType] -> Encoding

Data BaseType

Defined in Inferno.Types.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> BaseType -> c BaseType

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c BaseType

toConstr :: BaseType -> Constr

dataTypeOf :: BaseType -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c BaseType)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c BaseType)

gmapT :: (forall b. Data b => b -> b) -> BaseType -> BaseType

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> BaseType -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> BaseType -> r

gmapQ :: (forall d. Data d => d -> u) -> BaseType -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> BaseType -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> BaseType -> m BaseType

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> BaseType -> m BaseType

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> BaseType -> m BaseType

Generic BaseType

Defined in Inferno.Types.Syntax

Associated Types

type Rep BaseType :: Type -> Type

Methods

from :: BaseType -> Rep BaseType x

to :: Rep BaseType x -> BaseType

Show BaseType

Defined in Inferno.Types.Syntax

Methods

showsPrec :: Int -> BaseType -> ShowS

show :: BaseType -> String

showList :: [BaseType] -> ShowS

Serialize BaseType

Defined in Inferno.Types.Syntax

Methods

put :: Putter BaseType

get :: Get BaseType

NFData BaseType

Defined in Inferno.Types.Syntax

Methods

rnf :: BaseType -> ()

Eq BaseType

Defined in Inferno.Types.Syntax

Methods

(==) :: BaseType -> BaseType -> Bool

(/=) :: BaseType -> BaseType -> Bool

Ord BaseType

Defined in Inferno.Types.Syntax

Methods

compare :: BaseType -> BaseType -> Ordering

(<) :: BaseType -> BaseType -> Bool

(<=) :: BaseType -> BaseType -> Bool

(>) :: BaseType -> BaseType -> Bool

(>=) :: BaseType -> BaseType -> Bool

max :: BaseType -> BaseType -> BaseType

min :: BaseType -> BaseType -> BaseType

Hashable BaseType

Defined in Inferno.Types.Syntax

Methods

hashWithSalt :: Int -> BaseType -> Int

hash :: BaseType -> Int

VCHashUpdate BaseType

Defined in Inferno.Types.VersionControl

Methods

(&<) :: Context SHA256 -> BaseType -> Context SHA256

Pretty BaseType

Defined in Inferno.Types.Syntax

Methods

pretty :: BaseType -> Doc ann

prettyList :: [BaseType] -> Doc ann

ToADTArbitrary BaseType

Defined in Inferno.Types.Syntax

Methods

toADTArbitrarySingleton :: Proxy BaseType -> Gen (ADTArbitrarySingleton BaseType)

toADTArbitrary :: Proxy BaseType -> Gen (ADTArbitrary BaseType)

type Rep BaseType

Defined in Inferno.Types.Syntax

type Rep BaseType = D1 ('MetaData "BaseType" "Inferno.Types.Syntax" "inferno-types-0.1.0.0-EKMmIlZ8z5b3mVEUhFR81D" 'False) (((C1 ('MetaCons "TInt" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "TDouble" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "TWord16" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "TWord32" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "TWord64" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "TText" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "TTime" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "TTimeDiff" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "TResolution" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "TEnum" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set Ident)))))))

data ImplType

Constructors

ImplType (Map ExtIdent InfernoType) InfernoType

Instances

FromJSON ImplType

Defined in Inferno.Types.Type

Methods

parseJSON :: Value -> Parser ImplType

parseJSONList :: Value -> Parser [ImplType]

ToJSON ImplType

Defined in Inferno.Types.Type

Methods

toJSON :: ImplType -> Value

toEncoding :: ImplType -> Encoding

toJSONList :: [ImplType] -> Value

toEncodingList :: [ImplType] -> Encoding

Data ImplType

Defined in Inferno.Types.Type

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ImplType -> c ImplType

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ImplType

toConstr :: ImplType -> Constr

dataTypeOf :: ImplType -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ImplType)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ImplType)

gmapT :: (forall b. Data b => b -> b) -> ImplType -> ImplType

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ImplType -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ImplType -> r

gmapQ :: (forall d. Data d => d -> u) -> ImplType -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> ImplType -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> ImplType -> m ImplType

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ImplType -> m ImplType

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ImplType -> m ImplType

Generic ImplType

Defined in Inferno.Types.Type

Associated Types

type Rep ImplType :: Type -> Type

Methods

from :: ImplType -> Rep ImplType x

to :: Rep ImplType x -> ImplType

Show ImplType

Defined in Inferno.Types.Type

Methods

showsPrec :: Int -> ImplType -> ShowS

show :: ImplType -> String

showList :: [ImplType] -> ShowS

Eq ImplType

Defined in Inferno.Types.Type

Methods

(==) :: ImplType -> ImplType -> Bool

(/=) :: ImplType -> ImplType -> Bool

Ord ImplType

Defined in Inferno.Types.Type

Methods

compare :: ImplType -> ImplType -> Ordering

(<) :: ImplType -> ImplType -> Bool

(<=) :: ImplType -> ImplType -> Bool

(>) :: ImplType -> ImplType -> Bool

(>=) :: ImplType -> ImplType -> Bool

max :: ImplType -> ImplType -> ImplType

min :: ImplType -> ImplType -> ImplType

Substitutable ImplType

Defined in Inferno.Types.Type

Methods

apply :: Subst -> ImplType -> ImplType

ftv :: ImplType -> Set TV

VCHashUpdate ImplType

Defined in Inferno.Types.VersionControl

Methods

(&<) :: Context SHA256 -> ImplType -> Context SHA256

Pretty ImplType

Defined in Inferno.Types.Type

Methods

pretty :: ImplType -> Doc ann

prettyList :: [ImplType] -> Doc ann

type Rep ImplType

Defined in Inferno.Types.Type

type Rep ImplType = D1 ('MetaData "ImplType" "Inferno.Types.Type" "inferno-types-0.1.0.0-EKMmIlZ8z5b3mVEUhFR81D" 'False) (C1 ('MetaCons "ImplType" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map ExtIdent InfernoType)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 InfernoType)))

data Namespace

Constructors

FunNamespace Ident

OpNamespace Ident

EnumNamespace Ident

ModuleNamespace ModuleName

TypeNamespace Ident

Instances

Arbitrary Namespace

Defined in Inferno.Types.Type

Methods

arbitrary :: Gen Namespace

shrink :: Namespace -> [Namespace]

FromJSON Namespace

Defined in Inferno.Types.Type

Methods

parseJSON :: Value -> Parser Namespace

parseJSONList :: Value -> Parser [Namespace]

ToJSON Namespace

Defined in Inferno.Types.Type

Methods

toJSON :: Namespace -> Value

toEncoding :: Namespace -> Encoding

toJSONList :: [Namespace] -> Value

toEncodingList :: [Namespace] -> Encoding

Generic Namespace

Defined in Inferno.Types.Type

Associated Types

type Rep Namespace :: Type -> Type

Methods

from :: Namespace -> Rep Namespace x

to :: Rep Namespace x -> Namespace

Show Namespace

Defined in Inferno.Types.Type

Methods

showsPrec :: Int -> Namespace -> ShowS

show :: Namespace -> String

showList :: [Namespace] -> ShowS

Eq Namespace

Defined in Inferno.Types.Type

Methods

(==) :: Namespace -> Namespace -> Bool

(/=) :: Namespace -> Namespace -> Bool

Ord Namespace

Defined in Inferno.Types.Type

Methods

compare :: Namespace -> Namespace -> Ordering

(<) :: Namespace -> Namespace -> Bool

(<=) :: Namespace -> Namespace -> Bool

(>) :: Namespace -> Namespace -> Bool

(>=) :: Namespace -> Namespace -> Bool

max :: Namespace -> Namespace -> Namespace

min :: Namespace -> Namespace -> Namespace

VCHashUpdate Namespace

Defined in Inferno.Types.VersionControl

Methods

(&<) :: Context SHA256 -> Namespace -> Context SHA256

Pretty Namespace

Defined in Inferno.Types.Type

Methods

pretty :: Namespace -> Doc ann

prettyList :: [Namespace] -> Doc ann

ToADTArbitrary Namespace

Defined in Inferno.Types.Type

Methods

toADTArbitrarySingleton :: Proxy Namespace -> Gen (ADTArbitrarySingleton Namespace)

toADTArbitrary :: Proxy Namespace -> Gen (ADTArbitrary Namespace)

type Rep Namespace

Defined in Inferno.Types.Type

type Rep Namespace = D1 ('MetaData "Namespace" "Inferno.Types.Type" "inferno-types-0.1.0.0-EKMmIlZ8z5b3mVEUhFR81D" 'False) ((C1 ('MetaCons "FunNamespace" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Ident)) :+: C1 ('MetaCons "OpNamespace" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Ident))) :+: (C1 ('MetaCons "EnumNamespace" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Ident)) :+: (C1 ('MetaCons "ModuleNamespace" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ModuleName)) :+: C1 ('MetaCons "TypeNamespace" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Ident)))))

data TCScheme

Constructors

ForallTC [TV] (Set TypeClass) ImplType

Instances

FromJSON TCScheme

Defined in Inferno.Types.Type

Methods

parseJSON :: Value -> Parser TCScheme

parseJSONList :: Value -> Parser [TCScheme]

ToJSON TCScheme

Defined in Inferno.Types.Type

Methods

toJSON :: TCScheme -> Value

toEncoding :: TCScheme -> Encoding

toJSONList :: [TCScheme] -> Value

toEncodingList :: [TCScheme] -> Encoding

Data TCScheme

Defined in Inferno.Types.Type

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> TCScheme -> c TCScheme

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c TCScheme

toConstr :: TCScheme -> Constr

dataTypeOf :: TCScheme -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c TCScheme)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c TCScheme)

gmapT :: (forall b. Data b => b -> b) -> TCScheme -> TCScheme

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TCScheme -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TCScheme -> r

gmapQ :: (forall d. Data d => d -> u) -> TCScheme -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> TCScheme -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> TCScheme -> m TCScheme

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TCScheme -> m TCScheme

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TCScheme -> m TCScheme

Generic TCScheme

Defined in Inferno.Types.Type

Associated Types

type Rep TCScheme :: Type -> Type

Methods

from :: TCScheme -> Rep TCScheme x

to :: Rep TCScheme x -> TCScheme

Show TCScheme

Defined in Inferno.Types.Type

Methods

showsPrec :: Int -> TCScheme -> ShowS

show :: TCScheme -> String

showList :: [TCScheme] -> ShowS

Eq TCScheme

Defined in Inferno.Types.Type

Methods

(==) :: TCScheme -> TCScheme -> Bool

(/=) :: TCScheme -> TCScheme -> Bool

Ord TCScheme

Defined in Inferno.Types.Type

Methods

compare :: TCScheme -> TCScheme -> Ordering

(<) :: TCScheme -> TCScheme -> Bool

(<=) :: TCScheme -> TCScheme -> Bool

(>) :: TCScheme -> TCScheme -> Bool

(>=) :: TCScheme -> TCScheme -> Bool

max :: TCScheme -> TCScheme -> TCScheme

min :: TCScheme -> TCScheme -> TCScheme

Substitutable TCScheme

Defined in Inferno.Types.Type

Methods

apply :: Subst -> TCScheme -> TCScheme

ftv :: TCScheme -> Set TV

VCHashUpdate TCScheme

Defined in Inferno.Types.VersionControl

Methods

(&<) :: Context SHA256 -> TCScheme -> Context SHA256

Pretty TCScheme

Defined in Inferno.Types.Type

Methods

pretty :: TCScheme -> Doc ann

prettyList :: [TCScheme] -> Doc ann

type Rep TCScheme

Defined in Inferno.Types.Type

type Rep TCScheme = D1 ('MetaData "TCScheme" "Inferno.Types.Type" "inferno-types-0.1.0.0-EKMmIlZ8z5b3mVEUhFR81D" 'False) (C1 ('MetaCons "ForallTC" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [TV]) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set TypeClass)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ImplType))))

newtype TV

Constructors

TV

Fields

• unTV :: Int

Instances

Arbitrary TV

Defined in Inferno.Types.Syntax

Methods

arbitrary :: Gen TV

shrink :: TV -> [TV]

FromJSON TV

Defined in Inferno.Types.Syntax

Methods

parseJSON :: Value -> Parser TV

parseJSONList :: Value -> Parser [TV]

FromJSONKey TV

Defined in Inferno.Types.Syntax

Methods

fromJSONKey :: FromJSONKeyFunction TV

fromJSONKeyList :: FromJSONKeyFunction [TV]

ToJSON TV

Defined in Inferno.Types.Syntax

Methods

toJSON :: TV -> Value

toEncoding :: TV -> Encoding

toJSONList :: [TV] -> Value

toEncodingList :: [TV] -> Encoding

ToJSONKey TV

Defined in Inferno.Types.Syntax

Methods

toJSONKey :: ToJSONKeyFunction TV

toJSONKeyList :: ToJSONKeyFunction [TV]

Data TV

Defined in Inferno.Types.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> TV -> c TV

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c TV

toConstr :: TV -> Constr

dataTypeOf :: TV -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c TV)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c TV)

gmapT :: (forall b. Data b => b -> b) -> TV -> TV

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TV -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TV -> r

gmapQ :: (forall d. Data d => d -> u) -> TV -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> TV -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> TV -> m TV

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TV -> m TV

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TV -> m TV

Generic TV

Defined in Inferno.Types.Syntax

Associated Types

type Rep TV :: Type -> Type

Methods

from :: TV -> Rep TV x

to :: Rep TV x -> TV

Show TV

Defined in Inferno.Types.Syntax

Methods

showsPrec :: Int -> TV -> ShowS

show :: TV -> String

showList :: [TV] -> ShowS

Serialize TV

Defined in Inferno.Types.Syntax

Methods

put :: Putter TV

get :: Get TV

NFData TV

Defined in Inferno.Types.Syntax

Methods

rnf :: TV -> ()

Eq TV

Defined in Inferno.Types.Syntax

Methods

(==) :: TV -> TV -> Bool

(/=) :: TV -> TV -> Bool

Ord TV

Defined in Inferno.Types.Syntax

Methods

compare :: TV -> TV -> Ordering

(<) :: TV -> TV -> Bool

(<=) :: TV -> TV -> Bool

(>) :: TV -> TV -> Bool

(>=) :: TV -> TV -> Bool

max :: TV -> TV -> TV

min :: TV -> TV -> TV

Hashable TV

Defined in Inferno.Types.Syntax

Methods

hashWithSalt :: Int -> TV -> Int

hash :: TV -> Int

VCHashUpdate TV

Defined in Inferno.Types.VersionControl

Methods

(&<) :: Context SHA256 -> TV -> Context SHA256

Pretty TV

Defined in Inferno.Types.Syntax

Methods

pretty :: TV -> Doc ann

prettyList :: [TV] -> Doc ann

ToADTArbitrary TV

Defined in Inferno.Types.Syntax

Methods

toADTArbitrarySingleton :: Proxy TV -> Gen (ADTArbitrarySingleton TV)

toADTArbitrary :: Proxy TV -> Gen (ADTArbitrary TV)

type Rep TV

Defined in Inferno.Types.Syntax

type Rep TV = D1 ('MetaData "TV" "Inferno.Types.Syntax" "inferno-types-0.1.0.0-EKMmIlZ8z5b3mVEUhFR81D" 'True) (C1 ('MetaCons "TV" 'PrefixI 'True) (S1 ('MetaSel ('Just "unTV") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))

data InfernoType

Constructors

TVar TV

TBase BaseType

TArr InfernoType InfernoType

TArray InfernoType

TSeries InfernoType

TOptional InfernoType

TTuple (TList InfernoType)

TRep InfernoType

Instances

Arbitrary InfernoType

Defined in Inferno.Types.Syntax

Methods

arbitrary :: Gen InfernoType

shrink :: InfernoType -> [InfernoType]

FromJSON InfernoType

Defined in Inferno.Types.Syntax

Methods

parseJSON :: Value -> Parser InfernoType

parseJSONList :: Value -> Parser [InfernoType]

ToJSON InfernoType

Defined in Inferno.Types.Syntax

Methods

toJSON :: InfernoType -> Value

toEncoding :: InfernoType -> Encoding

toJSONList :: [InfernoType] -> Value

toEncodingList :: [InfernoType] -> Encoding

Data InfernoType

Defined in Inferno.Types.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> InfernoType -> c InfernoType

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c InfernoType

toConstr :: InfernoType -> Constr

dataTypeOf :: InfernoType -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c InfernoType)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c InfernoType)

gmapT :: (forall b. Data b => b -> b) -> InfernoType -> InfernoType

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> InfernoType -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> InfernoType -> r

gmapQ :: (forall d. Data d => d -> u) -> InfernoType -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> InfernoType -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> InfernoType -> m InfernoType

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> InfernoType -> m InfernoType

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> InfernoType -> m InfernoType

Generic InfernoType

Defined in Inferno.Types.Syntax

Associated Types

type Rep InfernoType :: Type -> Type

Methods

from :: InfernoType -> Rep InfernoType x

to :: Rep InfernoType x -> InfernoType

Show InfernoType

Defined in Inferno.Types.Syntax

Methods

showsPrec :: Int -> InfernoType -> ShowS

show :: InfernoType -> String

showList :: [InfernoType] -> ShowS

Serialize InfernoType

Defined in Inferno.Types.Syntax

Methods

put :: Putter InfernoType

get :: Get InfernoType

NFData InfernoType

Defined in Inferno.Types.Syntax

Methods

rnf :: InfernoType -> ()

Eq InfernoType

Defined in Inferno.Types.Syntax

Methods

(==) :: InfernoType -> InfernoType -> Bool

(/=) :: InfernoType -> InfernoType -> Bool

Ord InfernoType

Defined in Inferno.Types.Syntax

Methods

compare :: InfernoType -> InfernoType -> Ordering

(<) :: InfernoType -> InfernoType -> Bool

(<=) :: InfernoType -> InfernoType -> Bool

(>) :: InfernoType -> InfernoType -> Bool

(>=) :: InfernoType -> InfernoType -> Bool

max :: InfernoType -> InfernoType -> InfernoType

min :: InfernoType -> InfernoType -> InfernoType

Hashable InfernoType

Defined in Inferno.Types.Syntax

Methods

hashWithSalt :: Int -> InfernoType -> Int

hash :: InfernoType -> Int

Substitutable InfernoType

Defined in Inferno.Types.Type

Methods

apply :: Subst -> InfernoType -> InfernoType

ftv :: InfernoType -> Set TV

VCHashUpdate InfernoType

Defined in Inferno.Types.VersionControl

Methods

(&<) :: Context SHA256 -> InfernoType -> Context SHA256

Pretty InfernoType

Defined in Inferno.Types.Syntax

Methods

pretty :: InfernoType -> Doc ann

prettyList :: [InfernoType] -> Doc ann

ToADTArbitrary InfernoType

Defined in Inferno.Types.Syntax

Methods

toADTArbitrarySingleton :: Proxy InfernoType -> Gen (ADTArbitrarySingleton InfernoType)

toADTArbitrary :: Proxy InfernoType -> Gen (ADTArbitrary InfernoType)

type Rep InfernoType

Defined in Inferno.Types.Syntax

type Rep InfernoType = D1 ('MetaData "InfernoType" "Inferno.Types.Syntax" "inferno-types-0.1.0.0-EKMmIlZ8z5b3mVEUhFR81D" 'False) (((C1 ('MetaCons "TVar" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TV)) :+: C1 ('MetaCons "TBase" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BaseType))) :+: (C1 ('MetaCons "TArr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 InfernoType) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 InfernoType)) :+: C1 ('MetaCons "TArray" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 InfernoType)))) :+: ((C1 ('MetaCons "TSeries" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 InfernoType)) :+: C1 ('MetaCons "TOptional" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 InfernoType))) :+: (C1 ('MetaCons "TTuple" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (TList InfernoType))) :+: C1 ('MetaCons "TRep" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 InfernoType)))))

data TypeClass

Constructors

TypeClass

Fields

• className :: Text
• params :: [InfernoType]

Instances

FromJSON TypeClass

Defined in Inferno.Types.Type

Methods

parseJSON :: Value -> Parser TypeClass

parseJSONList :: Value -> Parser [TypeClass]

ToJSON TypeClass

Defined in Inferno.Types.Type

Methods

toJSON :: TypeClass -> Value

toEncoding :: TypeClass -> Encoding

toJSONList :: [TypeClass] -> Value

toEncodingList :: [TypeClass] -> Encoding

Data TypeClass

Defined in Inferno.Types.Type

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> TypeClass -> c TypeClass

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c TypeClass

toConstr :: TypeClass -> Constr

dataTypeOf :: TypeClass -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c TypeClass)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c TypeClass)

gmapT :: (forall b. Data b => b -> b) -> TypeClass -> TypeClass

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TypeClass -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TypeClass -> r

gmapQ :: (forall d. Data d => d -> u) -> TypeClass -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> TypeClass -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> TypeClass -> m TypeClass

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TypeClass -> m TypeClass

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TypeClass -> m TypeClass

Generic TypeClass

Defined in Inferno.Types.Type

Associated Types

type Rep TypeClass :: Type -> Type

Methods

from :: TypeClass -> Rep TypeClass x

to :: Rep TypeClass x -> TypeClass

Show TypeClass

Defined in Inferno.Types.Type

Methods

showsPrec :: Int -> TypeClass -> ShowS

show :: TypeClass -> String

showList :: [TypeClass] -> ShowS

Eq TypeClass

Defined in Inferno.Types.Type

Methods

(==) :: TypeClass -> TypeClass -> Bool

(/=) :: TypeClass -> TypeClass -> Bool

Ord TypeClass

Defined in Inferno.Types.Type

Methods

compare :: TypeClass -> TypeClass -> Ordering

(<) :: TypeClass -> TypeClass -> Bool

(<=) :: TypeClass -> TypeClass -> Bool

(>) :: TypeClass -> TypeClass -> Bool

(>=) :: TypeClass -> TypeClass -> Bool

max :: TypeClass -> TypeClass -> TypeClass

min :: TypeClass -> TypeClass -> TypeClass

Substitutable TypeClass

Defined in Inferno.Types.Type

Methods

apply :: Subst -> TypeClass -> TypeClass

ftv :: TypeClass -> Set TV

VCHashUpdate TypeClass

Defined in Inferno.Types.VersionControl

Methods

(&<) :: Context SHA256 -> TypeClass -> Context SHA256

Pretty TypeClass

Defined in Inferno.Types.Type

Methods

pretty :: TypeClass -> Doc ann

prettyList :: [TypeClass] -> Doc ann

type Rep TypeClass

Defined in Inferno.Types.Type

type Rep TypeClass = D1 ('MetaData "TypeClass" "Inferno.Types.Type" "inferno-types-0.1.0.0-EKMmIlZ8z5b3mVEUhFR81D" 'False) (C1 ('MetaCons "TypeClass" 'PrefixI 'True) (S1 ('MetaSel ('Just "className") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "params") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [InfernoType])))

newtype TypeClassShape

Constructors

TypeClassShape TypeClass

Instances

Pretty TypeClassShape

Defined in Inferno.Types.Type

Methods

pretty :: TypeClassShape -> Doc ann

prettyList :: [TypeClassShape] -> Doc ann

data TypeMetadata ty

Constructors

TypeMetadata

Fields

• identExpr :: Expr () ()
• docs :: Maybe Text
• ty :: ty

Instances

FromJSON ty => FromJSON (TypeMetadata ty)

Defined in Inferno.Types.Type

Methods

parseJSON :: Value -> Parser (TypeMetadata ty)

parseJSONList :: Value -> Parser [TypeMetadata ty]

ToJSON ty => ToJSON (TypeMetadata ty)

Defined in Inferno.Types.Type

Methods

toJSON :: TypeMetadata ty -> Value

toEncoding :: TypeMetadata ty -> Encoding

toJSONList :: [TypeMetadata ty] -> Value

toEncodingList :: [TypeMetadata ty] -> Encoding

Data ty => Data (TypeMetadata ty)

Defined in Inferno.Types.Type

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> TypeMetadata ty -> c (TypeMetadata ty)

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (TypeMetadata ty)

toConstr :: TypeMetadata ty -> Constr

dataTypeOf :: TypeMetadata ty -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (TypeMetadata ty))

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (TypeMetadata ty))

gmapT :: (forall b. Data b => b -> b) -> TypeMetadata ty -> TypeMetadata ty

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TypeMetadata ty -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TypeMetadata ty -> r

gmapQ :: (forall d. Data d => d -> u) -> TypeMetadata ty -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> TypeMetadata ty -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> TypeMetadata ty -> m (TypeMetadata ty)

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TypeMetadata ty -> m (TypeMetadata ty)

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TypeMetadata ty -> m (TypeMetadata ty)

Generic (TypeMetadata ty)

Defined in Inferno.Types.Type

Associated Types

type Rep (TypeMetadata ty) :: Type -> Type

Methods

from :: TypeMetadata ty -> Rep (TypeMetadata ty) x

to :: Rep (TypeMetadata ty) x -> TypeMetadata ty

Show ty => Show (TypeMetadata ty)

Defined in Inferno.Types.Type

Methods

showsPrec :: Int -> TypeMetadata ty -> ShowS

show :: TypeMetadata ty -> String

showList :: [TypeMetadata ty] -> ShowS

Eq ty => Eq (TypeMetadata ty)

Defined in Inferno.Types.Type

Methods

(==) :: TypeMetadata ty -> TypeMetadata ty -> Bool

(/=) :: TypeMetadata ty -> TypeMetadata ty -> Bool

VCHashUpdate ty => VCHashUpdate (TypeMetadata ty)

Defined in Inferno.Types.VersionControl

Methods

(&<) :: Context SHA256 -> TypeMetadata ty -> Context SHA256

type Rep (TypeMetadata ty)

Defined in Inferno.Types.Type

type Rep (TypeMetadata ty) = D1 ('MetaData "TypeMetadata" "Inferno.Types.Type" "inferno-types-0.1.0.0-EKMmIlZ8z5b3mVEUhFR81D" 'False) (C1 ('MetaCons "TypeMetadata" 'PrefixI 'True) (S1 ('MetaSel ('Just "identExpr") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Expr () ())) :*: (S1 ('MetaSel ('Just "docs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text)) :*: S1 ('MetaSel ('Just "ty") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ty))))

class Substitutable a where

Methods

apply :: Subst -> a -> a

ftv :: a -> Set TV

Instances

Substitutable InfernoType

Defined in Inferno.Types.Type

Methods

apply :: Subst -> InfernoType -> InfernoType

ftv :: InfernoType -> Set TV

Substitutable ImplType

Defined in Inferno.Types.Type

Methods

apply :: Subst -> ImplType -> ImplType

ftv :: ImplType -> Set TV

Substitutable TCScheme

Defined in Inferno.Types.Type

Methods

apply :: Subst -> TCScheme -> TCScheme

ftv :: TCScheme -> Set TV

Substitutable TypeClass

Defined in Inferno.Types.Type

Methods

apply :: Subst -> TypeClass -> TypeClass

ftv :: TypeClass -> Set TV

Substitutable a => Substitutable [a]

Defined in Inferno.Types.Type

Methods

apply :: Subst -> [a] -> [a]

ftv :: [a] -> Set TV

newtype Subst

Constructors

Subst (Map TV InfernoType)

Instances

Monoid Subst

Defined in Inferno.Types.Type

Methods

mempty :: Subst

mappend :: Subst -> Subst -> Subst

mconcat :: [Subst] -> Subst

Semigroup Subst

Defined in Inferno.Types.Type

Methods

(<>) :: Subst -> Subst -> Subst

sconcat :: NonEmpty Subst -> Subst

stimes :: Integral b => b -> Subst -> Subst

Show Subst

Defined in Inferno.Types.Type

Methods

showsPrec :: Int -> Subst -> ShowS

show :: Subst -> String

showList :: [Subst] -> ShowS

Eq Subst

Defined in Inferno.Types.Type

Methods

(==) :: Subst -> Subst -> Bool

(/=) :: Subst -> Subst -> Bool

Ord Subst

Defined in Inferno.Types.Type

Methods

compare :: Subst -> Subst -> Ordering

(<) :: Subst -> Subst -> Bool

(<=) :: Subst -> Subst -> Bool

(>) :: Subst -> Subst -> Bool

(>=) :: Subst -> Subst -> Bool

max :: Subst -> Subst -> Subst

min :: Subst -> Subst -> Subst

data Scheme

Constructors

Forall [TV] ImplType

Instances

FromJSON Scheme

Defined in Inferno.Types.Type

Methods

parseJSON :: Value -> Parser Scheme

parseJSONList :: Value -> Parser [Scheme]

ToJSON Scheme

Defined in Inferno.Types.Type

Methods

toJSON :: Scheme -> Value

toEncoding :: Scheme -> Encoding

toJSONList :: [Scheme] -> Value

toEncodingList :: [Scheme] -> Encoding

Data Scheme

Defined in Inferno.Types.Type

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Scheme -> c Scheme

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Scheme

toConstr :: Scheme -> Constr

dataTypeOf :: Scheme -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Scheme)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Scheme)

gmapT :: (forall b. Data b => b -> b) -> Scheme -> Scheme

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Scheme -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Scheme -> r

gmapQ :: (forall d. Data d => d -> u) -> Scheme -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Scheme -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Scheme -> m Scheme

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Scheme -> m Scheme

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Scheme -> m Scheme

Generic Scheme

Defined in Inferno.Types.Type

Associated Types

type Rep Scheme :: Type -> Type

Methods

from :: Scheme -> Rep Scheme x

to :: Rep Scheme x -> Scheme

Show Scheme

Defined in Inferno.Types.Type

Methods

showsPrec :: Int -> Scheme -> ShowS

show :: Scheme -> String

showList :: [Scheme] -> ShowS

Eq Scheme

Defined in Inferno.Types.Type

Methods

(==) :: Scheme -> Scheme -> Bool

(/=) :: Scheme -> Scheme -> Bool

Ord Scheme

Defined in Inferno.Types.Type

Methods

compare :: Scheme -> Scheme -> Ordering

(<) :: Scheme -> Scheme -> Bool

(<=) :: Scheme -> Scheme -> Bool

(>) :: Scheme -> Scheme -> Bool

(>=) :: Scheme -> Scheme -> Bool

max :: Scheme -> Scheme -> Scheme

min :: Scheme -> Scheme -> Scheme

Pretty Scheme

Defined in Inferno.Types.Type

Methods

pretty :: Scheme -> Doc ann

prettyList :: [Scheme] -> Doc ann

type Rep Scheme

Defined in Inferno.Types.Type

type Rep Scheme = D1 ('MetaData "Scheme" "Inferno.Types.Type" "inferno-types-0.1.0.0-EKMmIlZ8z5b3mVEUhFR81D" 'False) (C1 ('MetaCons "Forall" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [TV]) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ImplType)))

(.->) :: InfernoType -> InfernoType -> InfernoType infixr 3

sch :: InfernoType -> Scheme

var :: Int -> InfernoType

tySig :: [Doc ann] -> [Doc ann]

namespaceToIdent :: Namespace -> Ident

typeInt :: InfernoType

typeBool :: InfernoType

typeDouble :: InfernoType

typeWord16 :: InfernoType

typeWord32 :: InfernoType

typeWord64 :: InfernoType

typeText :: InfernoType

typeResolution :: InfernoType

typeTimeDiff :: InfernoType

typeTime :: InfernoType

punctuate' :: Doc ann -> [Doc ann] -> [Doc ann]