futhark-0.25.32: An optimising compiler for a functional, array-oriented language.
Safe HaskellNone
LanguageGHC2021

Language.Futhark.Core

Description

This module contains very basic definitions for Futhark - so basic, that they can be shared between the internal and external representation.

Synopsis

Documentation

data Uniqueness Source #

The uniqueness attribute of a type. This essentially indicates whether or not in-place modifications are acceptable. With respect to ordering, Unique is greater than Nonunique.

Constructors

Nonunique

May have references outside current function.

Unique

No references outside current function.

Instances

Instances details
DeclExtTyped DeclExtType Source # 
Instance details

Defined in Futhark.IR.Prop.Types

DeclTyped DeclType Source # 
Instance details

Defined in Futhark.IR.Prop.Types

ExtTyped DeclExtType Source # 
Instance details

Defined in Futhark.IR.Prop.Types

Typed DeclType Source # 
Instance details

Defined in Futhark.IR.Prop.Types

Methods

typeOf :: DeclType -> Type Source #

IsRetType FunReturns Source # 
Instance details

Defined in Futhark.IR.Mem

Methods

primRetType :: PrimType -> FunReturns Source #

applyRetType :: Typed dec => [FunReturns] -> [Param dec] -> [(SubExp, Type)] -> Maybe [FunReturns] Source #

IsRetType DeclExtType Source # 
Instance details

Defined in Futhark.IR.RetType

ASTMappable ResRetType Source # 
Instance details

Defined in Language.Futhark.Traversals

Methods

astMap :: Monad m => ASTMapper m -> ResRetType -> m ResRetType Source #

Monoid Uniqueness Source # 
Instance details

Defined in Language.Futhark.Core

Semigroup Uniqueness Source # 
Instance details

Defined in Language.Futhark.Core

Methods

(<>) :: Uniqueness -> Uniqueness -> Uniqueness #

sconcat :: NonEmpty Uniqueness -> Uniqueness

stimes :: Integral b => b -> Uniqueness -> Uniqueness

Show Uniqueness Source # 
Instance details

Defined in Language.Futhark.Core

Methods

showsPrec :: Int -> Uniqueness -> ShowS

show :: Uniqueness -> String

showList :: [Uniqueness] -> ShowS

Eq Uniqueness Source # 
Instance details

Defined in Language.Futhark.Core

Methods

(==) :: Uniqueness -> Uniqueness -> Bool

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

Ord Uniqueness Source # 
Instance details

Defined in Language.Futhark.Core

Pretty Uniqueness Source # 
Instance details

Defined in Language.Futhark.Core

Simplifiable [FunReturns] Source # 
Instance details

Defined in Futhark.IR.Mem

ASTMappable (TypeBase Size Uniqueness) Source # 
Instance details

Defined in Language.Futhark.Traversals

Substitutable (RetTypeBase Size Uniqueness) Source # 
Instance details

Defined in Language.Futhark.TypeChecker.Types

Substitutable (TypeBase Size Uniqueness) Source # 
Instance details

Defined in Language.Futhark.TypeChecker.Types

FixExt ret => DeclExtTyped (MemInfo ExtSize Uniqueness ret) Source # 
Instance details

Defined in Futhark.IR.Mem

DeclTyped (MemInfo SubExp Uniqueness ret) Source # 
Instance details

Defined in Futhark.IR.Mem

FixExt ret => ExtTyped (MemInfo ExtSize Uniqueness ret) Source # 
Instance details

Defined in Futhark.IR.Mem

Typed (MemInfo SubExp Uniqueness ret) Source # 
Instance details

Defined in Futhark.IR.Mem

data NoUniqueness Source #

A fancier name for () - encodes no uniqueness information. Also has a different prettyprinting instance.

Constructors

NoUniqueness 

Instances

Instances details
HasLetDecMem LetDecMem Source # 
Instance details

Defined in Futhark.IR.Mem

ExtTyped ExtType Source # 
Instance details

Defined in Futhark.IR.Prop.Types

Typed Type Source # 
Instance details

Defined in Futhark.IR.Prop.Types

Methods

typeOf :: Type -> Type Source #

IsBodyType BodyReturns Source # 
Instance details

Defined in Futhark.IR.Mem

IsBodyType ExtType Source # 
Instance details

Defined in Futhark.IR.RetType

ASTMappable StructType Source # 
Instance details

Defined in Language.Futhark.Traversals

Methods

astMap :: Monad m => ASTMapper m -> StructType -> m StructType Source #

Substitutable StructType Source # 
Instance details

Defined in Language.Futhark.TypeChecker.Types

Monoid NoUniqueness Source # 
Instance details

Defined in Language.Futhark.Core

Semigroup NoUniqueness Source # 
Instance details

Defined in Language.Futhark.Core

Show NoUniqueness Source # 
Instance details

Defined in Language.Futhark.Core

Methods

showsPrec :: Int -> NoUniqueness -> ShowS

show :: NoUniqueness -> String

showList :: [NoUniqueness] -> ShowS

Eq NoUniqueness Source # 
Instance details

Defined in Language.Futhark.Core

Methods

(==) :: NoUniqueness -> NoUniqueness -> Bool

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

Ord NoUniqueness Source # 
Instance details

Defined in Language.Futhark.Core

Pretty NoUniqueness Source # 
Instance details

Defined in Language.Futhark.Core

Substitutable (Pat StructType) Source # 
Instance details

Defined in Language.Futhark.TypeChecker.Types

Substitutable (RetTypeBase Size NoUniqueness) Source # 
Instance details

Defined in Language.Futhark.TypeChecker.Types

FixExt ret => ExtTyped (MemInfo ExtSize NoUniqueness ret) Source # 
Instance details

Defined in Futhark.IR.Mem

Typed (MemInfo SubExp NoUniqueness ret) Source # 
Instance details

Defined in Futhark.IR.Mem

ASTMappable (PatBase Info VName StructType) Source # 
Instance details

Defined in Language.Futhark.Traversals

ASTMappable (IdentBase Info VName StructType) Source # 
Instance details

Defined in Language.Futhark.Traversals

Location utilities

data SrcLoc Source #

Source location type. Source location are all equal, which allows AST nodes to be compared modulo location information.

Instances

Instances details
Monoid SrcLoc 
Instance details

Defined in Data.Loc

Semigroup SrcLoc 
Instance details

Defined in Data.Loc

Methods

(<>) :: SrcLoc -> SrcLoc -> SrcLoc #

sconcat :: NonEmpty SrcLoc -> SrcLoc

stimes :: Integral b => b -> SrcLoc -> SrcLoc

Data SrcLoc 
Instance details

Defined in Data.Loc

Methods

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

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

toConstr :: SrcLoc -> Constr

dataTypeOf :: SrcLoc -> DataType

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

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

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

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

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

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

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

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

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

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

Read SrcLoc 
Instance details

Defined in Data.Loc

Methods

readsPrec :: Int -> ReadS SrcLoc

readList :: ReadS [SrcLoc]

readPrec :: ReadPrec SrcLoc

readListPrec :: ReadPrec [SrcLoc]

Show SrcLoc 
Instance details

Defined in Data.Loc

Methods

showsPrec :: Int -> SrcLoc -> ShowS

show :: SrcLoc -> String

showList :: [SrcLoc] -> ShowS

Eq SrcLoc 
Instance details

Defined in Data.Loc

Methods

(==) :: SrcLoc -> SrcLoc -> Bool

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

Ord SrcLoc 
Instance details

Defined in Data.Loc

Methods

compare :: SrcLoc -> SrcLoc -> Ordering

(<) :: SrcLoc -> SrcLoc -> Bool

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

(>) :: SrcLoc -> SrcLoc -> Bool

(>=) :: SrcLoc -> SrcLoc -> Bool

max :: SrcLoc -> SrcLoc -> SrcLoc

min :: SrcLoc -> SrcLoc -> SrcLoc

IsLocation SrcLoc 
Instance details

Defined in Data.Loc

Located SrcLoc 
Instance details

Defined in Data.Loc

ToIdent (SrcLoc -> Id) 
Instance details

Defined in Language.C.Quote.Base

Methods

toIdent :: (SrcLoc -> Id) -> SrcLoc -> Id Source #

data Loc Source #

Location type, consisting of a beginning position and an end position.

Instances

Instances details
Monoid Loc 
Instance details

Defined in Data.Loc

Methods

mempty :: Loc

mappend :: Loc -> Loc -> Loc

mconcat :: [Loc] -> Loc

Semigroup Loc 
Instance details

Defined in Data.Loc

Methods

(<>) :: Loc -> Loc -> Loc #

sconcat :: NonEmpty Loc -> Loc

stimes :: Integral b => b -> Loc -> Loc

Data Loc 
Instance details

Defined in Data.Loc

Methods

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

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

toConstr :: Loc -> Constr

dataTypeOf :: Loc -> DataType

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

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

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

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

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

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

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

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

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

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

Read Loc 
Instance details

Defined in Data.Loc

Methods

readsPrec :: Int -> ReadS Loc

readList :: ReadS [Loc]

readPrec :: ReadPrec Loc

readListPrec :: ReadPrec [Loc]

Show Loc 
Instance details

Defined in Data.Loc

Methods

showsPrec :: Int -> Loc -> ShowS

show :: Loc -> String

showList :: [Loc] -> ShowS

Eq Loc 
Instance details

Defined in Data.Loc

Methods

(==) :: Loc -> Loc -> Bool

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

Ord Loc 
Instance details

Defined in Data.Loc

Methods

compare :: Loc -> Loc -> Ordering

(<) :: Loc -> Loc -> Bool

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

(>) :: Loc -> Loc -> Bool

(>=) :: Loc -> Loc -> Bool

max :: Loc -> Loc -> Loc

min :: Loc -> Loc -> Loc

Pretty Loc 
Instance details

Defined in Text.PrettyPrint.Mainland.Class

Methods

ppr :: Loc -> Doc Source #

pprPrec :: Int -> Loc -> Doc Source #

pprList :: [Loc] -> Doc Source #

IsLocation Loc 
Instance details

Defined in Data.Loc

Methods

fromLoc :: Loc -> Loc Source #

fromPos :: Pos -> Loc Source #

Located Loc 
Instance details

Defined in Data.Loc

Methods

locOf :: Loc -> Loc Source #

locOfList :: [Loc] -> Loc Source #

class Located a where Source #

Located values have a location.

Minimal complete definition

locOf

Methods

locOf :: a -> Loc Source #

locOfList :: [a] -> Loc Source #

Instances

Instances details
Located ProgError Source # 
Instance details

Defined in Futhark.Compiler.Program

Located StackFrame Source # 
Instance details

Defined in Language.Futhark.Interpreter

Located Comment Source # 
Instance details

Defined in Language.Futhark.Parser.Monad

Located DocComment Source # 
Instance details

Defined in Language.Futhark.Syntax

Located Constraint Source # 
Instance details

Defined in Language.Futhark.TypeChecker.Unify

Located Usage Source # 
Instance details

Defined in Language.Futhark.TypeChecker.Unify

Located TySpec 
Instance details

Defined in Language.C.Parser.Parser

Located ArraySize 
Instance details

Defined in Language.C.Syntax

Located Attr 
Instance details

Defined in Language.C.Syntax

Methods

locOf :: Attr -> Loc Source #

locOfList :: [Attr] -> Loc Source #

Located BlockItem 
Instance details

Defined in Language.C.Syntax

Located BlockType 
Instance details

Defined in Language.C.Syntax

Located CEnum 
Instance details

Defined in Language.C.Syntax

Located Const 
Instance details

Defined in Language.C.Syntax

Located Decl 
Instance details

Defined in Language.C.Syntax

Methods

locOf :: Decl -> Loc Source #

locOfList :: [Decl] -> Loc Source #

Located DeclSpec 
Instance details

Defined in Language.C.Syntax

Located Definition 
Instance details

Defined in Language.C.Syntax

Located Designation 
Instance details

Defined in Language.C.Syntax

Located Designator 
Instance details

Defined in Language.C.Syntax

Located ExeConfig 
Instance details

Defined in Language.C.Syntax

Located Exp 
Instance details

Defined in Language.C.Syntax

Methods

locOf :: Exp -> Loc Source #

locOfList :: [Exp] -> Loc Source #

Located Field 
Instance details

Defined in Language.C.Syntax

Located FieldGroup 
Instance details

Defined in Language.C.Syntax

Located Func 
Instance details

Defined in Language.C.Syntax

Methods

locOf :: Func -> Loc Source #

locOfList :: [Func] -> Loc Source #

Located Id 
Instance details

Defined in Language.C.Syntax

Methods

locOf :: Id -> Loc Source #

locOfList :: [Id] -> Loc Source #

Located Init 
Instance details

Defined in Language.C.Syntax

Methods

locOf :: Init -> Loc Source #

locOfList :: [Init] -> Loc Source #

Located InitGroup 
Instance details

Defined in Language.C.Syntax

Located Initializer 
Instance details

Defined in Language.C.Syntax

Located LambdaDeclarator 
Instance details

Defined in Language.C.Syntax

Located LambdaIntroducer 
Instance details

Defined in Language.C.Syntax

Located ObjCArg 
Instance details

Defined in Language.C.Syntax

Located ObjCCatch 
Instance details

Defined in Language.C.Syntax

Located ObjCDictElem 
Instance details

Defined in Language.C.Syntax

Located ObjCIfaceDecl 
Instance details

Defined in Language.C.Syntax

Located ObjCIvarDecl 
Instance details

Defined in Language.C.Syntax

Located ObjCMethodProto 
Instance details

Defined in Language.C.Syntax

Located ObjCMethodReq 
Instance details

Defined in Language.C.Syntax

Located ObjCParam 
Instance details

Defined in Language.C.Syntax

Located ObjCPropAttr 
Instance details

Defined in Language.C.Syntax

Located ObjCRecv 
Instance details

Defined in Language.C.Syntax

Located ObjCVisibilitySpec 
Instance details

Defined in Language.C.Syntax

Located Param 
Instance details

Defined in Language.C.Syntax

Located Params 
Instance details

Defined in Language.C.Syntax

Located Sign 
Instance details

Defined in Language.C.Syntax

Methods

locOf :: Sign -> Loc Source #

locOfList :: [Sign] -> Loc Source #

Located Stm 
Instance details

Defined in Language.C.Syntax

Methods

locOf :: Stm -> Loc Source #

locOfList :: [Stm] -> Loc Source #

Located Storage 
Instance details

Defined in Language.C.Syntax

Located StringLit 
Instance details

Defined in Language.C.Syntax

Located Type 
Instance details

Defined in Language.C.Syntax

Methods

locOf :: Type -> Loc Source #

locOfList :: [Type] -> Loc Source #

Located TypeQual 
Instance details

Defined in Language.C.Syntax

Located TypeSpec 
Instance details

Defined in Language.C.Syntax

Located Typedef 
Instance details

Defined in Language.C.Syntax

Located Loc 
Instance details

Defined in Data.Loc

Methods

locOf :: Loc -> Loc Source #

locOfList :: [Loc] -> Loc Source #

Located Pos 
Instance details

Defined in Data.Loc

Methods

locOf :: Pos -> Loc Source #

locOfList :: [Pos] -> Loc Source #

Located SrcLoc 
Instance details

Defined in Data.Loc

Located a => Located (Inclusiveness a) Source # 
Instance details

Defined in Language.Futhark.Syntax

Located (SizeBinder vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Located (SizeExp d) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

locOf :: SizeExp d -> Loc Source #

locOfList :: [SizeExp d] -> Loc Source #

Located (TypeParamBase vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Located a => Located (RevList a) 
Instance details

Defined in Language.C.Parser.Parser

Methods

locOf :: RevList a -> Loc Source #

locOfList :: [RevList a] -> Loc Source #

Located (L a) 
Instance details

Defined in Data.Loc

Methods

locOf :: L a -> Loc Source #

locOfList :: [L a] -> Loc Source #

Located a => Located (Maybe a) 
Instance details

Defined in Data.Loc

Methods

locOf :: Maybe a -> Loc Source #

locOfList :: [Maybe a] -> Loc Source #

Located a => Located [a] 
Instance details

Defined in Data.Loc

Methods

locOf :: [a] -> Loc Source #

locOfList :: [[a]] -> Loc Source #

Located (AppExpBase f vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

locOf :: AppExpBase f vn -> Loc Source #

locOfList :: [AppExpBase f vn] -> Loc Source #

Located (CaseBase f vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

locOf :: CaseBase f vn -> Loc Source #

locOfList :: [CaseBase f vn] -> Loc Source #

Located (DecBase f vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

locOf :: DecBase f vn -> Loc Source #

locOfList :: [DecBase f vn] -> Loc Source #

Located (ExpBase f vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

locOf :: ExpBase f vn -> Loc Source #

locOfList :: [ExpBase f vn] -> Loc Source #

Located (FieldBase f vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

locOf :: FieldBase f vn -> Loc Source #

locOfList :: [FieldBase f vn] -> Loc Source #

Located (LoopInitBase Info vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Located (ModBindBase f vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

locOf :: ModBindBase f vn -> Loc Source #

locOfList :: [ModBindBase f vn] -> Loc Source #

Located (ModExpBase f vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

locOf :: ModExpBase f vn -> Loc Source #

locOfList :: [ModExpBase f vn] -> Loc Source #

Located (ModParamBase f vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

locOf :: ModParamBase f vn -> Loc Source #

locOfList :: [ModParamBase f vn] -> Loc Source #

Located (ModTypeBindBase f vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Located (ModTypeExpBase f vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Located (SpecBase f vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

locOf :: SpecBase f vn -> Loc Source #

locOfList :: [SpecBase f vn] -> Loc Source #

Located (TypeArgExp f vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

locOf :: TypeArgExp f vn -> Loc Source #

locOfList :: [TypeArgExp f vn] -> Loc Source #

Located (TypeBindBase f vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

locOf :: TypeBindBase f vn -> Loc Source #

locOfList :: [TypeBindBase f vn] -> Loc Source #

Located (TypeExp f vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

locOf :: TypeExp f vn -> Loc Source #

locOfList :: [TypeExp f vn] -> Loc Source #

Located (TypeRefBase f vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

locOf :: TypeRefBase f vn -> Loc Source #

locOfList :: [TypeRefBase f vn] -> Loc Source #

Located (ValBindBase f vn) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

locOf :: ValBindBase f vn -> Loc Source #

locOfList :: [ValBindBase f vn] -> Loc Source #

Located (PatBase f vn t) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

locOf :: PatBase f vn t -> Loc Source #

locOfList :: [PatBase f vn t] -> Loc Source #

Located (IdentBase ty vn t) Source # 
Instance details

Defined in Language.Futhark.Syntax

Methods

locOf :: IdentBase ty vn t -> Loc Source #

locOfList :: [IdentBase ty vn t] -> Loc Source #

noLoc :: IsLocation a => a Source #

No location.

data L a Source #

A value of type L a is a value of type a with an associated Loc, but this location is ignored when performing comparisons.

Constructors

L Loc a 

Instances

Instances details
Functor L 
Instance details

Defined in Data.Loc

Methods

fmap :: (a -> b) -> L a -> L b

(<$) :: a -> L b -> L a

Data a => Data (L a) 
Instance details

Defined in Data.Loc

Methods

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

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

toConstr :: L a -> Constr

dataTypeOf :: L a -> DataType

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

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

gmapT :: (forall b. Data b => b -> b) -> L a -> L a

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

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

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

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

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

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

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

Show x => Show (L x) 
Instance details

Defined in Data.Loc

Methods

showsPrec :: Int -> L x -> ShowS

show :: L x -> String

showList :: [L x] -> ShowS

Eq x => Eq (L x) 
Instance details

Defined in Data.Loc

Methods

(==) :: L x -> L x -> Bool

(/=) :: L x -> L x -> Bool

Ord x => Ord (L x) 
Instance details

Defined in Data.Loc

Methods

compare :: L x -> L x -> Ordering

(<) :: L x -> L x -> Bool

(<=) :: L x -> L x -> Bool

(>) :: L x -> L x -> Bool

(>=) :: L x -> L x -> Bool

max :: L x -> L x -> L x

min :: L x -> L x -> L x

Pretty x => Pretty (L x) 
Instance details

Defined in Text.PrettyPrint.Mainland.Class

Methods

ppr :: L x -> Doc Source #

pprPrec :: Int -> L x -> Doc Source #

pprList :: [L x] -> Doc Source #

Located (L a) 
Instance details

Defined in Data.Loc

Methods

locOf :: L a -> Loc Source #

locOfList :: [L a] -> Loc Source #

Relocatable (L a) 
Instance details

Defined in Data.Loc

Methods

reloc :: Loc -> L a -> L a Source #

unLoc :: L a -> a Source #

srclocOf :: Located a => a -> SrcLoc Source #

The SrcLoc of a Located value.

locStr :: Located a => a -> String Source #

A human-readable location string, of the form filename:lineno:columnno. This follows the GNU coding standards for error messages: https://www.gnu.org/prep/standards/html_node/Errors.html

This function assumes that both start and end position is in the same file (it is not clear what the alternative would even mean).

locStrRel :: (Located a, Located b) => a -> b -> String Source #

Like locStr, but locStrRel prev now prints the location now with the file name left out if the same as prev. This is useful when printing messages that are all in the context of some initially printed location (e.g. the first mention contains the file name; the rest just line and column name).

locText :: Located a => a -> Text Source #

locStr, but for text.

locTextRel :: (Located a, Located b) => a -> b -> Text Source #

locStrRel, but for text.

prettyStacktrace :: Int -> [Text] -> Text Source #

Given a list of strings representing entries in the stack trace and the index of the frame to highlight, produce a final newline-terminated string for showing to the user. This string should also be preceded by a newline. The most recent stack frame must come first in the list.

isBuiltin :: FilePath -> Bool Source #

Is this include part of the built-in prelude?

isBuiltinLoc :: Located a => a -> Bool Source #

Is the position of this thing builtin as per isBuiltin? Things without location are considered not built-in.

Name handling

data Name Source #

The abstract (not really) type representing names in the Futhark compiler. Strings, being lists of characters, are very slow, while Texts are based on byte-arrays.

Instances

Instances details
IsName Name Source # 
Instance details

Defined in Language.Futhark.Pretty

Semigroup Name Source # 
Instance details

Defined in Language.Futhark.Core

Methods

(<>) :: Name -> Name -> Name #

sconcat :: NonEmpty Name -> Name

stimes :: Integral b => b -> Name -> Name

IsString Name Source # 
Instance details

Defined in Language.Futhark.Core

Methods

fromString :: String -> Name

Show Name Source # 
Instance details

Defined in Language.Futhark.Core

Methods

showsPrec :: Int -> Name -> ShowS

show :: Name -> String

showList :: [Name] -> ShowS

Eq Name Source # 
Instance details

Defined in Language.Futhark.Core

Methods

(==) :: Name -> Name -> Bool

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

Ord Name Source # 
Instance details

Defined in Language.Futhark.Core

Methods

compare :: Name -> Name -> Ordering

(<) :: Name -> Name -> Bool

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

(>) :: Name -> Name -> Bool

(>=) :: Name -> Name -> Bool

max :: Name -> Name -> Name

min :: Name -> Name -> Name

ToIdent Name Source # 
Instance details

Defined in Futhark.CodeGen.Backends.SimpleRep

Methods

toIdent :: Name -> SrcLoc -> Id Source #

Pretty Name Source # 
Instance details

Defined in Language.Futhark.Core

Methods

pretty :: Name -> Doc ann Source #

prettyList :: [Name] -> Doc ann Source #

Show (DecBase (NoInfo :: Type -> Type) Name) 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> DecBase (NoInfo :: Type -> Type) Name -> ShowS

show :: DecBase (NoInfo :: Type -> Type) Name -> String

showList :: [DecBase (NoInfo :: Type -> Type) Name] -> ShowS

Show (ModBindBase (NoInfo :: Type -> Type) Name) 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> ModBindBase (NoInfo :: Type -> Type) Name -> ShowS

show :: ModBindBase (NoInfo :: Type -> Type) Name -> String

showList :: [ModBindBase (NoInfo :: Type -> Type) Name] -> ShowS

Show (ModExpBase (NoInfo :: Type -> Type) Name) 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> ModExpBase (NoInfo :: Type -> Type) Name -> ShowS

show :: ModExpBase (NoInfo :: Type -> Type) Name -> String

showList :: [ModExpBase (NoInfo :: Type -> Type) Name] -> ShowS

Show (ModParamBase (NoInfo :: Type -> Type) Name) 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> ModParamBase (NoInfo :: Type -> Type) Name -> ShowS

show :: ModParamBase (NoInfo :: Type -> Type) Name -> String

showList :: [ModParamBase (NoInfo :: Type -> Type) Name] -> ShowS

Show (ModTypeBindBase (NoInfo :: Type -> Type) Name) 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> ModTypeBindBase (NoInfo :: Type -> Type) Name -> ShowS

show :: ModTypeBindBase (NoInfo :: Type -> Type) Name -> String

showList :: [ModTypeBindBase (NoInfo :: Type -> Type) Name] -> ShowS

Show (ModTypeExpBase (NoInfo :: Type -> Type) Name) 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> ModTypeExpBase (NoInfo :: Type -> Type) Name -> ShowS

show :: ModTypeExpBase (NoInfo :: Type -> Type) Name -> String

showList :: [ModTypeExpBase (NoInfo :: Type -> Type) Name] -> ShowS

Show (ProgBase (NoInfo :: Type -> Type) Name) 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> ProgBase (NoInfo :: Type -> Type) Name -> ShowS

show :: ProgBase (NoInfo :: Type -> Type) Name -> String

showList :: [ProgBase (NoInfo :: Type -> Type) Name] -> ShowS

Show (SpecBase (NoInfo :: Type -> Type) Name) 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> SpecBase (NoInfo :: Type -> Type) Name -> ShowS

show :: SpecBase (NoInfo :: Type -> Type) Name -> String

showList :: [SpecBase (NoInfo :: Type -> Type) Name] -> ShowS

Show (TypeBindBase (NoInfo :: Type -> Type) Name) 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> TypeBindBase (NoInfo :: Type -> Type) Name -> ShowS

show :: TypeBindBase (NoInfo :: Type -> Type) Name -> String

showList :: [TypeBindBase (NoInfo :: Type -> Type) Name] -> ShowS

Show (TypeRefBase (NoInfo :: Type -> Type) Name) 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> TypeRefBase (NoInfo :: Type -> Type) Name -> ShowS

show :: TypeRefBase (NoInfo :: Type -> Type) Name -> String

showList :: [TypeRefBase (NoInfo :: Type -> Type) Name] -> ShowS

Show (ValBindBase (NoInfo :: Type -> Type) Name) 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> ValBindBase (NoInfo :: Type -> Type) Name -> ShowS

show :: ValBindBase (NoInfo :: Type -> Type) Name -> String

showList :: [ValBindBase (NoInfo :: Type -> Type) Name] -> ShowS

nameToString :: Name -> String Source #

Convert a name to the corresponding list of characters.

nameFromString :: String -> Name Source #

Convert a list of characters to the corresponding name.

nameToText :: Name -> Text Source #

Convert a name to the corresponding Text.

nameFromText :: Text -> Name Source #

Convert a Text to the corresponding name.

data VName Source #

A name tagged with some integer. Only the integer is used in comparisons, no matter the type of vn.

Constructors

VName !Name !Int 

Instances

Instances details
ToExp VName Source # 
Instance details

Defined in Futhark.CodeGen.ImpGen

Methods

toExp :: VName -> ImpM rep r op Exp Source #

toExp' :: PrimType -> VName -> Exp Source #

ToExp VName Source # 
Instance details

Defined in Futhark.Construct

Methods

toExp :: MonadBuilder m => VName -> m (Exp (Rep m)) Source #

FreeIn VName Source # 
Instance details

Defined in Futhark.IR.Prop.Names

Methods

freeIn' :: VName -> FV Source #

Simplifiable VName Source # 
Instance details

Defined in Futhark.Optimise.Simplify.Engine

Rename VName Source # 
Instance details

Defined in Futhark.Transform.Rename

Substitute VName Source # 
Instance details

Defined in Futhark.Transform.Substitute

IsName VName Source #

Depending on the environment variable FUTHARK_COMPILER_DEBUGGING, VNames are printed as either the name with an internal tag, or just the base name.

Instance details

Defined in Language.Futhark.Pretty

ASTMappable ParamType Source # 
Instance details

Defined in Language.Futhark.Traversals

Methods

astMap :: Monad m => ASTMapper m -> ParamType -> m ParamType Source #

ASTMappable ResRetType Source # 
Instance details

Defined in Language.Futhark.Traversals

Methods

astMap :: Monad m => ASTMapper m -> ResRetType -> m ResRetType Source #

ASTMappable StructType Source # 
Instance details

Defined in Language.Futhark.Traversals

Methods

astMap :: Monad m => ASTMapper m -> StructType -> m StructType Source #

Substitutable Exp Source # 
Instance details

Defined in Language.Futhark.TypeChecker.Types

Methods

applySubst :: TypeSubs -> Exp -> Exp Source #

Substitutable ParamType Source # 
Instance details

Defined in Language.Futhark.TypeChecker.Types

Substitutable StructType Source # 
Instance details

Defined in Language.Futhark.TypeChecker.Types

Show VName Source # 
Instance details

Defined in Language.Futhark.Core

Methods

showsPrec :: Int -> VName -> ShowS

show :: VName -> String

showList :: [VName] -> ShowS

Eq VName Source # 
Instance details

Defined in Language.Futhark.Core

Methods

(==) :: VName -> VName -> Bool

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

Ord VName Source # 
Instance details

Defined in Language.Futhark.Core

Methods

compare :: VName -> VName -> Ordering

(<) :: VName -> VName -> Bool

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

(>) :: VName -> VName -> Bool

(>=) :: VName -> VName -> Bool

max :: VName -> VName -> VName

min :: VName -> VName -> VName

ToExp VName Source # 
Instance details

Defined in Futhark.CodeGen.Backends.SimpleRep

Methods

toExp :: VName -> SrcLoc -> Exp Source #

ToIdent VName Source # 
Instance details

Defined in Futhark.CodeGen.Backends.SimpleRep

Methods

toIdent :: VName -> SrcLoc -> Id Source #

Pretty CoalsTab Source # 
Instance details

Defined in Futhark.Optimise.ArrayShortCircuiting.DataStructs

Methods

pretty :: CoalsTab -> Doc ann Source #

prettyList :: [CoalsTab] -> Doc ann Source #

Pretty VName Source # 
Instance details

Defined in Futhark.IR.Pretty

Methods

pretty :: VName -> Doc ann Source #

prettyList :: [VName] -> Doc ann Source #

(Monad m, RepTypes rep) => HasScope rep (ReaderT (Scope rep) m) Source # 
Instance details

Defined in Futhark.IR.Prop.Scope

Methods

lookupType :: VName -> ReaderT (Scope rep) m Type Source #

lookupInfo :: VName -> ReaderT (Scope rep) m (NameInfo rep) Source #

askScope :: ReaderT (Scope rep) m (Scope rep) Source #

asksScope :: (Scope rep -> a) -> ReaderT (Scope rep) m a Source #

(Monad m, RepTypes rep) => LocalScope rep (ReaderT (Scope rep) m) Source # 
Instance details

Defined in Futhark.IR.Prop.Scope

Methods

localScope :: Scope rep -> ReaderT (Scope rep) m a -> ReaderT (Scope rep) m a Source #

Scoped rep (VName, NameInfo rep) Source # 
Instance details

Defined in Futhark.IR.Prop.Scope

Methods

scopeOf :: (VName, NameInfo rep) -> Scope rep Source #

(Monad m, Monoid w, RepTypes rep) => HasScope rep (RWST (Scope rep) w s m) Source # 
Instance details

Defined in Futhark.IR.Prop.Scope

Methods

lookupType :: VName -> RWST (Scope rep) w s m Type Source #

lookupInfo :: VName -> RWST (Scope rep) w s m (NameInfo rep) Source #

askScope :: RWST (Scope rep) w s m (Scope rep) Source #

asksScope :: (Scope rep -> a) -> RWST (Scope rep) w s m a Source #

(Monad m, Monoid w, RepTypes rep) => HasScope rep (RWST (Scope rep) w s m) Source # 
Instance details

Defined in Futhark.IR.Prop.Scope

Methods

lookupType :: VName -> RWST (Scope rep) w s m Type Source #

lookupInfo :: VName -> RWST (Scope rep) w s m (NameInfo rep) Source #

askScope :: RWST (Scope rep) w s m (Scope rep) Source #

asksScope :: (Scope rep -> a) -> RWST (Scope rep) w s m a Source #

(Monad m, Monoid w, RepTypes rep) => LocalScope rep (RWST (Scope rep) w s m) Source # 
Instance details

Defined in Futhark.IR.Prop.Scope

Methods

localScope :: Scope rep -> RWST (Scope rep) w s m a -> RWST (Scope rep) w s m a Source #

(Monad m, Monoid w, RepTypes rep) => LocalScope rep (RWST (Scope rep) w s m) Source # 
Instance details

Defined in Futhark.IR.Prop.Scope

Methods

localScope :: Scope rep -> RWST (Scope rep) w s m a -> RWST (Scope rep) w s m a Source #

ToExp (PrimExp VName) Source # 
Instance details

Defined in Futhark.CodeGen.ImpGen

ASTMappable (SizeExp (ExpBase Info VName)) Source # 
Instance details

Defined in Language.Futhark.Traversals

Methods

astMap :: Monad m => ASTMapper m -> SizeExp (ExpBase Info VName) -> m (SizeExp (ExpBase Info VName)) Source #

Substitutable (Pat ParamType) Source # 
Instance details

Defined in Language.Futhark.TypeChecker.Types

Substitutable (Pat StructType) Source # 
Instance details

Defined in Language.Futhark.TypeChecker.Types

Pretty (Shape Size) Source # 
Instance details

Defined in Language.Futhark.Pretty

Methods

pretty :: Shape Size -> Doc ann Source #

prettyList :: [Shape Size] -> Doc ann Source #

Pretty (TypeArg Size) Source # 
Instance details

Defined in Language.Futhark.Pretty

Methods

pretty :: TypeArg Size -> Doc ann Source #

prettyList :: [TypeArg Size] -> Doc ann Source #

Monad m => MonadReader (Scope rep) (ExtendedScope rep m) Source # 
Instance details

Defined in Futhark.IR.Prop.Scope

Methods

ask :: ExtendedScope rep m (Scope rep) #

local :: (Scope rep -> Scope rep) -> ExtendedScope rep m a -> ExtendedScope rep m a #

reader :: (Scope rep -> a) -> ExtendedScope rep m a #

ASTMappable (AppExpBase Info VName) Source # 
Instance details

Defined in Language.Futhark.Traversals

Methods

astMap :: Monad m => ASTMapper m -> AppExpBase Info VName -> m (AppExpBase Info VName) Source #

ASTMappable (CaseBase Info VName) Source # 
Instance details

Defined in Language.Futhark.Traversals

Methods

astMap :: Monad m => ASTMapper m -> CaseBase Info VName -> m (CaseBase Info VName) Source #

ASTMappable (DimIndexBase Info VName) Source # 
Instance details

Defined in Language.Futhark.Traversals

ASTMappable (ExpBase Info VName) Source # 
Instance details

Defined in Language.Futhark.Traversals

Methods

astMap :: Monad m => ASTMapper m -> ExpBase Info VName -> m (ExpBase Info VName) Source #

ASTMappable (FieldBase Info VName) Source # 
Instance details

Defined in Language.Futhark.Traversals

Methods

astMap :: Monad m => ASTMapper m -> FieldBase Info VName -> m (FieldBase Info VName) Source #

ASTMappable (LoopFormBase Info VName) Source # 
Instance details

Defined in Language.Futhark.Traversals

ASTMappable (LoopInitBase Info VName) Source # 
Instance details

Defined in Language.Futhark.Traversals

ASTMappable (TypeArgExp (ExpBase Info VName) VName) Source # 
Instance details

Defined in Language.Futhark.Traversals

ASTMappable (TypeBase Size Uniqueness) Source # 
Instance details

Defined in Language.Futhark.Traversals

ASTMappable (TypeExp (ExpBase Info VName) VName) Source # 
Instance details

Defined in Language.Futhark.Traversals

Substitutable (RetTypeBase Size NoUniqueness) Source # 
Instance details

Defined in Language.Futhark.TypeChecker.Types

Substitutable (RetTypeBase Size Uniqueness) Source # 
Instance details

Defined in Language.Futhark.TypeChecker.Types

Substitutable (TypeBase Size Uniqueness) Source # 
Instance details

Defined in Language.Futhark.TypeChecker.Types

Show (AppExpBase Info VName) 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> AppExpBase Info VName -> ShowS

show :: AppExpBase Info VName -> String

showList :: [AppExpBase Info VName] -> ShowS

Show (CaseBase Info VName) 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> CaseBase Info VName -> ShowS

show :: CaseBase Info VName -> String

showList :: [CaseBase Info VName] -> ShowS

Show (DecBase Info VName) 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> DecBase Info VName -> ShowS

show :: DecBase Info VName -> String

showList :: [DecBase Info VName] -> ShowS

Show (DimIndexBase Info VName) 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> DimIndexBase Info VName -> ShowS

show :: DimIndexBase Info VName -> String

showList :: [DimIndexBase Info VName] -> ShowS

Show (ExpBase Info VName) 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> ExpBase Info VName -> ShowS

show :: ExpBase Info VName -> String

showList :: [ExpBase Info VName] -> ShowS

Show (FieldBase Info VName) 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> FieldBase Info VName -> ShowS

show :: FieldBase Info VName -> String

showList :: [FieldBase Info VName] -> ShowS

Show (LoopFormBase Info VName) 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> LoopFormBase Info VName -> ShowS

show :: LoopFormBase Info VName -> String

showList :: [LoopFormBase Info VName] -> ShowS

Show (LoopInitBase Info VName) 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> LoopInitBase Info VName -> ShowS

show :: LoopInitBase Info VName -> String

showList :: [LoopInitBase Info VName] -> ShowS

Show (ModBindBase Info VName) 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> ModBindBase Info VName -> ShowS

show :: ModBindBase Info VName -> String

showList :: [ModBindBase Info VName] -> ShowS

Show (ModExpBase Info VName) 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> ModExpBase Info VName -> ShowS

show :: ModExpBase Info VName -> String

showList :: [ModExpBase Info VName] -> ShowS

Show (ModParamBase Info VName) 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> ModParamBase Info VName -> ShowS

show :: ModParamBase Info VName -> String

showList :: [ModParamBase Info VName] -> ShowS

Show (ModTypeBindBase Info VName) 
Instance details

Defined in Language.Futhark.Syntax

Show (ModTypeExpBase Info VName) 
Instance details

Defined in Language.Futhark.Syntax

Show (ProgBase Info VName) 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> ProgBase Info VName -> ShowS

show :: ProgBase Info VName -> String

showList :: [ProgBase Info VName] -> ShowS

Show (SpecBase Info VName) 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> SpecBase Info VName -> ShowS

show :: SpecBase Info VName -> String

showList :: [SpecBase Info VName] -> ShowS

Show (TypeBindBase Info VName) 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> TypeBindBase Info VName -> ShowS

show :: TypeBindBase Info VName -> String

showList :: [TypeBindBase Info VName] -> ShowS

Show (TypeRefBase Info VName) 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> TypeRefBase Info VName -> ShowS

show :: TypeRefBase Info VName -> String

showList :: [TypeRefBase Info VName] -> ShowS

Show (ValBindBase Info VName) 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> ValBindBase Info VName -> ShowS

show :: ValBindBase Info VName -> String

showList :: [ValBindBase Info VName] -> ShowS

Eq (AppExpBase Info VName) 
Instance details

Defined in Language.Futhark.Syntax

Eq (AppExpBase (NoInfo :: Type -> Type) VName) 
Instance details

Defined in Language.Futhark.Syntax

Methods

(==) :: AppExpBase (NoInfo :: Type -> Type) VName -> AppExpBase (NoInfo :: Type -> Type) VName -> Bool

(/=) :: AppExpBase (NoInfo :: Type -> Type) VName -> AppExpBase (NoInfo :: Type -> Type) VName -> Bool

Eq (CaseBase Info VName) 
Instance details

Defined in Language.Futhark.Syntax

Eq (CaseBase (NoInfo :: Type -> Type) VName) 
Instance details

Defined in Language.Futhark.Syntax

Methods

(==) :: CaseBase (NoInfo :: Type -> Type) VName -> CaseBase (NoInfo :: Type -> Type) VName -> Bool

(/=) :: CaseBase (NoInfo :: Type -> Type) VName -> CaseBase (NoInfo :: Type -> Type) VName -> Bool

Eq (DimIndexBase Info VName) 
Instance details

Defined in Language.Futhark.Syntax

Eq (DimIndexBase (NoInfo :: Type -> Type) VName) 
Instance details

Defined in Language.Futhark.Syntax

Methods

(==) :: DimIndexBase (NoInfo :: Type -> Type) VName -> DimIndexBase (NoInfo :: Type -> Type) VName -> Bool

(/=) :: DimIndexBase (NoInfo :: Type -> Type) VName -> DimIndexBase (NoInfo :: Type -> Type) VName -> Bool

Eq (ExpBase Info VName) 
Instance details

Defined in Language.Futhark.Syntax

Eq (ExpBase (NoInfo :: Type -> Type) VName) 
Instance details

Defined in Language.Futhark.Syntax

Methods

(==) :: ExpBase (NoInfo :: Type -> Type) VName -> ExpBase (NoInfo :: Type -> Type) VName -> Bool

(/=) :: ExpBase (NoInfo :: Type -> Type) VName -> ExpBase (NoInfo :: Type -> Type) VName -> Bool

Eq (FieldBase Info VName) 
Instance details

Defined in Language.Futhark.Syntax

Eq (FieldBase (NoInfo :: Type -> Type) VName) 
Instance details

Defined in Language.Futhark.Syntax

Methods

(==) :: FieldBase (NoInfo :: Type -> Type) VName -> FieldBase (NoInfo :: Type -> Type) VName -> Bool

(/=) :: FieldBase (NoInfo :: Type -> Type) VName -> FieldBase (NoInfo :: Type -> Type) VName -> Bool

Eq (LoopFormBase Info VName) 
Instance details

Defined in Language.Futhark.Syntax

Eq (LoopFormBase (NoInfo :: Type -> Type) VName) 
Instance details

Defined in Language.Futhark.Syntax

Methods

(==) :: LoopFormBase (NoInfo :: Type -> Type) VName -> LoopFormBase (NoInfo :: Type -> Type) VName -> Bool

(/=) :: LoopFormBase (NoInfo :: Type -> Type) VName -> LoopFormBase (NoInfo :: Type -> Type) VName -> Bool

Eq (LoopInitBase Info VName) 
Instance details

Defined in Language.Futhark.Syntax

Eq (LoopInitBase (NoInfo :: Type -> Type) VName) 
Instance details

Defined in Language.Futhark.Syntax

Methods

(==) :: LoopInitBase (NoInfo :: Type -> Type) VName -> LoopInitBase (NoInfo :: Type -> Type) VName -> Bool

(/=) :: LoopInitBase (NoInfo :: Type -> Type) VName -> LoopInitBase (NoInfo :: Type -> Type) VName -> Bool

Ord (AppExpBase Info VName) 
Instance details

Defined in Language.Futhark.Syntax

Ord (AppExpBase (NoInfo :: Type -> Type) VName) 
Instance details

Defined in Language.Futhark.Syntax

Methods

compare :: AppExpBase (NoInfo :: Type -> Type) VName -> AppExpBase (NoInfo :: Type -> Type) VName -> Ordering

(<) :: AppExpBase (NoInfo :: Type -> Type) VName -> AppExpBase (NoInfo :: Type -> Type) VName -> Bool

(<=) :: AppExpBase (NoInfo :: Type -> Type) VName -> AppExpBase (NoInfo :: Type -> Type) VName -> Bool

(>) :: AppExpBase (NoInfo :: Type -> Type) VName -> AppExpBase (NoInfo :: Type -> Type) VName -> Bool

(>=) :: AppExpBase (NoInfo :: Type -> Type) VName -> AppExpBase (NoInfo :: Type -> Type) VName -> Bool

max :: AppExpBase (NoInfo :: Type -> Type) VName -> AppExpBase (NoInfo :: Type -> Type) VName -> AppExpBase (NoInfo :: Type -> Type) VName

min :: AppExpBase (NoInfo :: Type -> Type) VName -> AppExpBase (NoInfo :: Type -> Type) VName -> AppExpBase (NoInfo :: Type -> Type) VName

Ord (CaseBase Info VName) 
Instance details

Defined in Language.Futhark.Syntax

Ord (CaseBase (NoInfo :: Type -> Type) VName) 
Instance details

Defined in Language.Futhark.Syntax

Methods

compare :: CaseBase (NoInfo :: Type -> Type) VName -> CaseBase (NoInfo :: Type -> Type) VName -> Ordering

(<) :: CaseBase (NoInfo :: Type -> Type) VName -> CaseBase (NoInfo :: Type -> Type) VName -> Bool

(<=) :: CaseBase (NoInfo :: Type -> Type) VName -> CaseBase (NoInfo :: Type -> Type) VName -> Bool

(>) :: CaseBase (NoInfo :: Type -> Type) VName -> CaseBase (NoInfo :: Type -> Type) VName -> Bool

(>=) :: CaseBase (NoInfo :: Type -> Type) VName -> CaseBase (NoInfo :: Type -> Type) VName -> Bool

max :: CaseBase (NoInfo :: Type -> Type) VName -> CaseBase (NoInfo :: Type -> Type) VName -> CaseBase (NoInfo :: Type -> Type) VName

min :: CaseBase (NoInfo :: Type -> Type) VName -> CaseBase (NoInfo :: Type -> Type) VName -> CaseBase (NoInfo :: Type -> Type) VName

Ord (DimIndexBase Info VName) 
Instance details

Defined in Language.Futhark.Syntax

Ord (DimIndexBase (NoInfo :: Type -> Type) VName) 
Instance details

Defined in Language.Futhark.Syntax

Methods

compare :: DimIndexBase (NoInfo :: Type -> Type) VName -> DimIndexBase (NoInfo :: Type -> Type) VName -> Ordering

(<) :: DimIndexBase (NoInfo :: Type -> Type) VName -> DimIndexBase (NoInfo :: Type -> Type) VName -> Bool

(<=) :: DimIndexBase (NoInfo :: Type -> Type) VName -> DimIndexBase (NoInfo :: Type -> Type) VName -> Bool

(>) :: DimIndexBase (NoInfo :: Type -> Type) VName -> DimIndexBase (NoInfo :: Type -> Type) VName -> Bool

(>=) :: DimIndexBase (NoInfo :: Type -> Type) VName -> DimIndexBase (NoInfo :: Type -> Type) VName -> Bool

max :: DimIndexBase (NoInfo :: Type -> Type) VName -> DimIndexBase (NoInfo :: Type -> Type) VName -> DimIndexBase (NoInfo :: Type -> Type) VName

min :: DimIndexBase (NoInfo :: Type -> Type) VName -> DimIndexBase (NoInfo :: Type -> Type) VName -> DimIndexBase (NoInfo :: Type -> Type) VName

Ord (ExpBase Info VName) 
Instance details

Defined in Language.Futhark.Syntax

Ord (ExpBase (NoInfo :: Type -> Type) VName) 
Instance details

Defined in Language.Futhark.Syntax

Methods

compare :: ExpBase (NoInfo :: Type -> Type) VName -> ExpBase (NoInfo :: Type -> Type) VName -> Ordering

(<) :: ExpBase (NoInfo :: Type -> Type) VName -> ExpBase (NoInfo :: Type -> Type) VName -> Bool

(<=) :: ExpBase (NoInfo :: Type -> Type) VName -> ExpBase (NoInfo :: Type -> Type) VName -> Bool

(>) :: ExpBase (NoInfo :: Type -> Type) VName -> ExpBase (NoInfo :: Type -> Type) VName -> Bool

(>=) :: ExpBase (NoInfo :: Type -> Type) VName -> ExpBase (NoInfo :: Type -> Type) VName -> Bool

max :: ExpBase (NoInfo :: Type -> Type) VName -> ExpBase (NoInfo :: Type -> Type) VName -> ExpBase (NoInfo :: Type -> Type) VName

min :: ExpBase (NoInfo :: Type -> Type) VName -> ExpBase (NoInfo :: Type -> Type) VName -> ExpBase (NoInfo :: Type -> Type) VName

Ord (FieldBase Info VName) 
Instance details

Defined in Language.Futhark.Syntax

Ord (FieldBase (NoInfo :: Type -> Type) VName) 
Instance details

Defined in Language.Futhark.Syntax

Methods

compare :: FieldBase (NoInfo :: Type -> Type) VName -> FieldBase (NoInfo :: Type -> Type) VName -> Ordering

(<) :: FieldBase (NoInfo :: Type -> Type) VName -> FieldBase (NoInfo :: Type -> Type) VName -> Bool

(<=) :: FieldBase (NoInfo :: Type -> Type) VName -> FieldBase (NoInfo :: Type -> Type) VName -> Bool

(>) :: FieldBase (NoInfo :: Type -> Type) VName -> FieldBase (NoInfo :: Type -> Type) VName -> Bool

(>=) :: FieldBase (NoInfo :: Type -> Type) VName -> FieldBase (NoInfo :: Type -> Type) VName -> Bool

max :: FieldBase (NoInfo :: Type -> Type) VName -> FieldBase (NoInfo :: Type -> Type) VName -> FieldBase (NoInfo :: Type -> Type) VName

min :: FieldBase (NoInfo :: Type -> Type) VName -> FieldBase (NoInfo :: Type -> Type) VName -> FieldBase (NoInfo :: Type -> Type) VName

Ord (LoopFormBase Info VName) 
Instance details

Defined in Language.Futhark.Syntax

Ord (LoopFormBase (NoInfo :: Type -> Type) VName) 
Instance details

Defined in Language.Futhark.Syntax

Methods

compare :: LoopFormBase (NoInfo :: Type -> Type) VName -> LoopFormBase (NoInfo :: Type -> Type) VName -> Ordering

(<) :: LoopFormBase (NoInfo :: Type -> Type) VName -> LoopFormBase (NoInfo :: Type -> Type) VName -> Bool

(<=) :: LoopFormBase (NoInfo :: Type -> Type) VName -> LoopFormBase (NoInfo :: Type -> Type) VName -> Bool

(>) :: LoopFormBase (NoInfo :: Type -> Type) VName -> LoopFormBase (NoInfo :: Type -> Type) VName -> Bool

(>=) :: LoopFormBase (NoInfo :: Type -> Type) VName -> LoopFormBase (NoInfo :: Type -> Type) VName -> Bool

max :: LoopFormBase (NoInfo :: Type -> Type) VName -> LoopFormBase (NoInfo :: Type -> Type) VName -> LoopFormBase (NoInfo :: Type -> Type) VName

min :: LoopFormBase (NoInfo :: Type -> Type) VName -> LoopFormBase (NoInfo :: Type -> Type) VName -> LoopFormBase (NoInfo :: Type -> Type) VName

Ord (LoopInitBase Info VName) 
Instance details

Defined in Language.Futhark.Syntax

Ord (LoopInitBase (NoInfo :: Type -> Type) VName) 
Instance details

Defined in Language.Futhark.Syntax

Methods

compare :: LoopInitBase (NoInfo :: Type -> Type) VName -> LoopInitBase (NoInfo :: Type -> Type) VName -> Ordering

(<) :: LoopInitBase (NoInfo :: Type -> Type) VName -> LoopInitBase (NoInfo :: Type -> Type) VName -> Bool

(<=) :: LoopInitBase (NoInfo :: Type -> Type) VName -> LoopInitBase (NoInfo :: Type -> Type) VName -> Bool

(>) :: LoopInitBase (NoInfo :: Type -> Type) VName -> LoopInitBase (NoInfo :: Type -> Type) VName -> Bool

(>=) :: LoopInitBase (NoInfo :: Type -> Type) VName -> LoopInitBase (NoInfo :: Type -> Type) VName -> Bool

max :: LoopInitBase (NoInfo :: Type -> Type) VName -> LoopInitBase (NoInfo :: Type -> Type) VName -> LoopInitBase (NoInfo :: Type -> Type) VName

min :: LoopInitBase (NoInfo :: Type -> Type) VName -> LoopInitBase (NoInfo :: Type -> Type) VName -> LoopInitBase (NoInfo :: Type -> Type) VName

ToExp (TExp t) Source # 
Instance details

Defined in Futhark.CodeGen.Backends.GenericC.Code

Methods

toExp :: TExp t -> SrcLoc -> Exp Source #

Pretty (IndexTable rep) Source # 
Instance details

Defined in Futhark.Analysis.AccessPattern

Methods

pretty :: IndexTable rep -> Doc ann Source #

prettyList :: [IndexTable rep] -> Doc ann Source #

ASTMappable (PatBase Info VName ParamType) Source # 
Instance details

Defined in Language.Futhark.Traversals

ASTMappable (PatBase Info VName StructType) Source # 
Instance details

Defined in Language.Futhark.Traversals

Show (Info t) => Show (PatBase Info VName t) 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> PatBase Info VName t -> ShowS

show :: PatBase Info VName t -> String

showList :: [PatBase Info VName t] -> ShowS

Eq (Info t) => Eq (PatBase Info VName t) 
Instance details

Defined in Language.Futhark.Syntax

Methods

(==) :: PatBase Info VName t -> PatBase Info VName t -> Bool

(/=) :: PatBase Info VName t -> PatBase Info VName t -> Bool

Eq (NoInfo t) => Eq (PatBase (NoInfo :: Type -> Type) VName t) 
Instance details

Defined in Language.Futhark.Syntax

Methods

(==) :: PatBase (NoInfo :: Type -> Type) VName t -> PatBase (NoInfo :: Type -> Type) VName t -> Bool

(/=) :: PatBase (NoInfo :: Type -> Type) VName t -> PatBase (NoInfo :: Type -> Type) VName t -> Bool

Ord (Info t) => Ord (PatBase Info VName t) 
Instance details

Defined in Language.Futhark.Syntax

Ord (NoInfo t) => Ord (PatBase (NoInfo :: Type -> Type) VName t) 
Instance details

Defined in Language.Futhark.Syntax

Methods

compare :: PatBase (NoInfo :: Type -> Type) VName t -> PatBase (NoInfo :: Type -> Type) VName t -> Ordering

(<) :: PatBase (NoInfo :: Type -> Type) VName t -> PatBase (NoInfo :: Type -> Type) VName t -> Bool

(<=) :: PatBase (NoInfo :: Type -> Type) VName t -> PatBase (NoInfo :: Type -> Type) VName t -> Bool

(>) :: PatBase (NoInfo :: Type -> Type) VName t -> PatBase (NoInfo :: Type -> Type) VName t -> Bool

(>=) :: PatBase (NoInfo :: Type -> Type) VName t -> PatBase (NoInfo :: Type -> Type) VName t -> Bool

max :: PatBase (NoInfo :: Type -> Type) VName t -> PatBase (NoInfo :: Type -> Type) VName t -> PatBase (NoInfo :: Type -> Type) VName t

min :: PatBase (NoInfo :: Type -> Type) VName t -> PatBase (NoInfo :: Type -> Type) VName t -> PatBase (NoInfo :: Type -> Type) VName t

ASTMappable (IdentBase Info VName StructType) Source # 
Instance details

Defined in Language.Futhark.Traversals

Show (Info t) => Show (IdentBase Info VName t) 
Instance details

Defined in Language.Futhark.Syntax

Methods

showsPrec :: Int -> IdentBase Info VName t -> ShowS

show :: IdentBase Info VName t -> String

showList :: [IdentBase Info VName t] -> ShowS

baseTag :: VName -> Int Source #

Return the tag contained in the VName.

baseName :: VName -> Name Source #

Return the name contained in the VName.

baseString :: VName -> String Source #

Return the base Name converted to a string.

baseText :: VName -> Text Source #

Return the base Name converted to a text.

quote :: Text -> Text Source #

Enclose a string in the prefered quotes used in error messages. These are picked to not collide with characters permitted in identifiers.

Number re-export

data Int8 #

Instances

Instances details
FromJSON Int8 
Instance details

Defined in Data.Aeson.Types.FromJSON

FromJSONKey Int8 
Instance details

Defined in Data.Aeson.Types.FromJSON

ToJSON Int8 
Instance details

Defined in Data.Aeson.Types.ToJSON

ToJSONKey Int8 
Instance details

Defined in Data.Aeson.Types.ToJSON

PrintfArg Int8 
Instance details

Defined in Text.Printf

Methods

formatArg :: Int8 -> FieldFormatter

parseFormat :: Int8 -> ModifierParser

Binary Int8 
Instance details

Defined in Data.Binary.Class

Methods

put :: Int8 -> Put

get :: Get Int8

putList :: [Int8] -> Put

NFData Int8 
Instance details

Defined in Control.DeepSeq

Methods

rnf :: Int8 -> ()

IsValue Int8 Source # 
Instance details

Defined in Futhark.IR.Prop.Constants

Methods

value :: Int8 -> PrimValue Source #

IsPrimValue Int8 Source # 
Instance details

Defined in Language.Futhark.Syntax

GetValue Int8 
Instance details

Defined in Futhark.Data

Methods

getValue :: Value -> Maybe Int8 Source #

PutValue Int8 
Instance details

Defined in Futhark.Data

Methods

putValue :: Int8 -> Maybe Value Source #

PutValue1 Int8 
Instance details

Defined in Futhark.Data

Methods

putValue1 :: Int8 -> Value Source #

Bits Int8 
Instance details

Defined in GHC.Internal.Int

Methods

(.&.) :: Int8 -> Int8 -> Int8

(.|.) :: Int8 -> Int8 -> Int8

xor :: Int8 -> Int8 -> Int8

complement :: Int8 -> Int8

shift :: Int8 -> Int -> Int8

rotate :: Int8 -> Int -> Int8

zeroBits :: Int8

bit :: Int -> Int8

setBit :: Int8 -> Int -> Int8

clearBit :: Int8 -> Int -> Int8

complementBit :: Int8 -> Int -> Int8

testBit :: Int8 -> Int -> Bool

bitSizeMaybe :: Int8 -> Maybe Int

bitSize :: Int8 -> Int

isSigned :: Int8 -> Bool

shiftL :: Int8 -> Int -> Int8

unsafeShiftL :: Int8 -> Int -> Int8

shiftR :: Int8 -> Int -> Int8

unsafeShiftR :: Int8 -> Int -> Int8

rotateL :: Int8 -> Int -> Int8

rotateR :: Int8 -> Int -> Int8

popCount :: Int8 -> Int

FiniteBits Int8 
Instance details

Defined in GHC.Internal.Int

Bounded Int8 
Instance details

Defined in GHC.Internal.Int

Enum Int8 
Instance details

Defined in GHC.Internal.Int

Storable Int8 
Instance details

Defined in GHC.Internal.Foreign.Storable

Methods

sizeOf :: Int8 -> Int

alignment :: Int8 -> Int

peekElemOff :: Ptr Int8 -> Int -> IO Int8

pokeElemOff :: Ptr Int8 -> Int -> Int8 -> IO ()

peekByteOff :: Ptr b -> Int -> IO Int8

pokeByteOff :: Ptr b -> Int -> Int8 -> IO ()

peek :: Ptr Int8 -> IO Int8

poke :: Ptr Int8 -> Int8 -> IO ()

Ix Int8 
Instance details

Defined in GHC.Internal.Int

Methods

range :: (Int8, Int8) -> [Int8]

index :: (Int8, Int8) -> Int8 -> Int

unsafeIndex :: (Int8, Int8) -> Int8 -> Int

inRange :: (Int8, Int8) -> Int8 -> Bool

rangeSize :: (Int8, Int8) -> Int

unsafeRangeSize :: (Int8, Int8) -> Int

Num Int8 
Instance details

Defined in GHC.Internal.Int

Methods

(+) :: Int8 -> Int8 -> Int8

(-) :: Int8 -> Int8 -> Int8

(*) :: Int8 -> Int8 -> Int8

negate :: Int8 -> Int8

abs :: Int8 -> Int8

signum :: Int8 -> Int8

fromInteger :: Integer -> Int8

Read Int8 
Instance details

Defined in GHC.Internal.Int

Methods

readsPrec :: Int -> ReadS Int8

readList :: ReadS [Int8]

readPrec :: ReadPrec Int8

readListPrec :: ReadPrec [Int8]

Integral Int8 
Instance details

Defined in GHC.Internal.Int

Methods

quot :: Int8 -> Int8 -> Int8

rem :: Int8 -> Int8 -> Int8

div :: Int8 -> Int8 -> Int8

mod :: Int8 -> Int8 -> Int8

quotRem :: Int8 -> Int8 -> (Int8, Int8)

divMod :: Int8 -> Int8 -> (Int8, Int8)

toInteger :: Int8 -> Integer

Real Int8 
Instance details

Defined in GHC.Internal.Int

Methods

toRational :: Int8 -> Rational

Show Int8 
Instance details

Defined in GHC.Internal.Int

Methods

showsPrec :: Int -> Int8 -> ShowS

show :: Int8 -> String

showList :: [Int8] -> ShowS

Eq Int8 
Instance details

Defined in GHC.Internal.Int

Methods

(==) :: Int8 -> Int8 -> Bool

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

Ord Int8 
Instance details

Defined in GHC.Internal.Int

Methods

compare :: Int8 -> Int8 -> Ordering

(<) :: Int8 -> Int8 -> Bool

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

(>) :: Int8 -> Int8 -> Bool

(>=) :: Int8 -> Int8 -> Bool

max :: Int8 -> Int8 -> Int8

min :: Int8 -> Int8 -> Int8

Hashable Int8 
Instance details

Defined in Data.Hashable.Class

Methods

hashWithSalt :: Int -> Int8 -> Int

hash :: Int8 -> Int

ToConst Int8 
Instance details

Defined in Language.C.Quote.Base

Methods

toConst :: Int8 -> SrcLoc -> Const Source #

ToExp Int8 
Instance details

Defined in Language.C.Quote.Base

Methods

toExp :: Int8 -> SrcLoc -> Exp Source #

Pretty Int8 
Instance details

Defined in Text.PrettyPrint.Mainland.Class

Methods

ppr :: Int8 -> Doc Source #

pprPrec :: Int -> Int8 -> Doc Source #

pprList :: [Int8] -> Doc Source #

Variate Int8 
Instance details

Defined in System.Random.MWC

Methods

uniform :: PrimMonad m => Gen (PrimState m) -> m Int8 Source #

uniformR :: PrimMonad m => (Int8, Int8) -> Gen (PrimState m) -> m Int8 Source #

Pretty Int8 
Instance details

Defined in Prettyprinter.Internal

Methods

pretty :: Int8 -> Doc ann Source #

prettyList :: [Int8] -> Doc ann Source #

Prim Int8 
Instance details

Defined in Data.Primitive.Types

Methods

sizeOfType# :: Proxy Int8 -> Int#

sizeOf# :: Int8 -> Int#

alignmentOfType# :: Proxy Int8 -> Int#

alignment# :: Int8 -> Int#

indexByteArray# :: ByteArray# -> Int# -> Int8

readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, Int8 #)

writeByteArray# :: MutableByteArray# s -> Int# -> Int8 -> State# s -> State# s

setByteArray# :: MutableByteArray# s -> Int# -> Int# -> Int8 -> State# s -> State# s

indexOffAddr# :: Addr# -> Int# -> Int8

readOffAddr# :: Addr# -> Int# -> State# s -> (# State# s, Int8 #)

writeOffAddr# :: Addr# -> Int# -> Int8 -> State# s -> State# s

setOffAddr# :: Addr# -> Int# -> Int# -> Int8 -> State# s -> State# s

Random Int8 
Instance details

Defined in System.Random

Methods

randomR :: RandomGen g => (Int8, Int8) -> g -> (Int8, g) Source #

random :: RandomGen g => g -> (Int8, g) Source #

randomRs :: RandomGen g => (Int8, Int8) -> g -> [Int8] Source #

randoms :: RandomGen g => g -> [Int8] Source #

Uniform Int8 
Instance details

Defined in System.Random.Internal

Methods

uniformM :: StatefulGen g m => g -> m Int8 Source #

UniformRange Int8 
Instance details

Defined in System.Random.Internal

Methods

uniformRM :: StatefulGen g m => (Int8, Int8) -> g -> m Int8 Source #

Unbox Int8 
Instance details

Defined in Data.Vector.Unboxed.Base

IArray UArray Int8 
Instance details

Defined in Data.Array.Base

Methods

bounds :: Ix i => UArray i Int8 -> (i, i)

numElements :: Ix i => UArray i Int8 -> Int

unsafeArray :: Ix i => (i, i) -> [(Int, Int8)] -> UArray i Int8

unsafeAt :: Ix i => UArray i Int8 -> Int -> Int8

unsafeReplace :: Ix i => UArray i Int8 -> [(Int, Int8)] -> UArray i Int8

unsafeAccum :: Ix i => (Int8 -> e' -> Int8) -> UArray i Int8 -> [(Int, e')] -> UArray i Int8

unsafeAccumArray :: Ix i => (Int8 -> e' -> Int8) -> Int8 -> (i, i) -> [(Int, e')] -> UArray i Int8

IntExp Int8 Source # 
Instance details

Defined in Futhark.Analysis.PrimExp

NumExp Int8 Source # 
Instance details

Defined in Futhark.Analysis.PrimExp

Methods

fromInteger' :: Integer -> TPrimExp Int8 v Source #

fromBoolExp :: TPrimExp Bool v -> TPrimExp Int8 v Source #

MkTV Int8 Source # 
Instance details

Defined in Futhark.CodeGen.ImpGen

Lift Int8 
Instance details

Defined in Language.Haskell.TH.Syntax

Methods

lift :: Quote m => Int8 -> m Exp

liftTyped :: forall (m :: Type -> Type). Quote m => Int8 -> Code m Int8

Vector Vector Int8 
Instance details

Defined in Data.Vector.Unboxed.Base

Methods

basicUnsafeFreeze :: Mutable Vector s Int8 -> ST s (Vector Int8)

basicUnsafeThaw :: Vector Int8 -> ST s (Mutable Vector s Int8)

basicLength :: Vector Int8 -> Int

basicUnsafeSlice :: Int -> Int -> Vector Int8 -> Vector Int8

basicUnsafeIndexM :: Vector Int8 -> Int -> Box Int8

basicUnsafeCopy :: Mutable Vector s Int8 -> Vector Int8 -> ST s ()

elemseq :: Vector Int8 -> Int8 -> b -> b

MVector MVector Int8 
Instance details

Defined in Data.Vector.Unboxed.Base

Methods

basicLength :: MVector s Int8 -> Int

basicUnsafeSlice :: Int -> Int -> MVector s Int8 -> MVector s Int8

basicOverlaps :: MVector s Int8 -> MVector s Int8 -> Bool

basicUnsafeNew :: Int -> ST s (MVector s Int8)

basicInitialize :: MVector s Int8 -> ST s ()

basicUnsafeReplicate :: Int -> Int8 -> ST s (MVector s Int8)

basicUnsafeRead :: MVector s Int8 -> Int -> ST s Int8

basicUnsafeWrite :: MVector s Int8 -> Int -> Int8 -> ST s ()

basicClear :: MVector s Int8 -> ST s ()

basicSet :: MVector s Int8 -> Int8 -> ST s ()

basicUnsafeCopy :: MVector s Int8 -> MVector s Int8 -> ST s ()

basicUnsafeMove :: MVector s Int8 -> MVector s Int8 -> ST s ()

basicUnsafeGrow :: MVector s Int8 -> Int -> ST s (MVector s Int8)

MArray IOUArray Int8 IO 
Instance details

Defined in Data.Array.IO.Internals

Methods

getBounds :: Ix i => IOUArray i Int8 -> IO (i, i)

getNumElements :: Ix i => IOUArray i Int8 -> IO Int

newArray :: Ix i => (i, i) -> Int8 -> IO (IOUArray i Int8)

newArray_ :: Ix i => (i, i) -> IO (IOUArray i Int8)

unsafeNewArray_ :: Ix i => (i, i) -> IO (IOUArray i Int8)

unsafeRead :: Ix i => IOUArray i Int8 -> Int -> IO Int8

unsafeWrite :: Ix i => IOUArray i Int8 -> Int -> Int8 -> IO ()

MArray (STUArray s) Int8 (ST s) 
Instance details

Defined in Data.Array.Base

Methods

getBounds :: Ix i => STUArray s i Int8 -> ST s (i, i)

getNumElements :: Ix i => STUArray s i Int8 -> ST s Int

newArray :: Ix i => (i, i) -> Int8 -> ST s (STUArray s i Int8)

newArray_ :: Ix i => (i, i) -> ST s (STUArray s i Int8)

unsafeNewArray_ :: Ix i => (i, i) -> ST s (STUArray s i Int8)

unsafeRead :: Ix i => STUArray s i Int8 -> Int -> ST s Int8

unsafeWrite :: Ix i => STUArray s i Int8 -> Int -> Int8 -> ST s ()

type Unsigned Int8 
Instance details

Defined in System.Random.MWC

type Unsigned Int8 = Word8
newtype Vector Int8 
Instance details

Defined in Data.Vector.Unboxed.Base

newtype Vector Int8 = V_Int8 (Vector Int8)
newtype MVector s Int8 
Instance details

Defined in Data.Vector.Unboxed.Base

newtype MVector s Int8 = MV_Int8 (MVector s Int8)

data Int16 #

Instances

Instances details
FromJSON Int16 
Instance details

Defined in Data.Aeson.Types.FromJSON

FromJSONKey Int16 
Instance details

Defined in Data.Aeson.Types.FromJSON

ToJSON Int16 
Instance details

Defined in Data.Aeson.Types.ToJSON

ToJSONKey Int16 
Instance details

Defined in Data.Aeson.Types.ToJSON

PrintfArg Int16 
Instance details

Defined in Text.Printf

Methods

formatArg :: Int16 -> FieldFormatter

parseFormat :: Int16 -> ModifierParser

Binary Int16 
Instance details

Defined in Data.Binary.Class

Methods

put :: Int16 -> Put

get :: Get Int16

putList :: [Int16] -> Put

NFData Int16 
Instance details

Defined in Control.DeepSeq

Methods

rnf :: Int16 -> ()

IsValue Int16 Source # 
Instance details

Defined in Futhark.IR.Prop.Constants

IsPrimValue Int16 Source # 
Instance details

Defined in Language.Futhark.Syntax

GetValue Int16 
Instance details

Defined in Futhark.Data

Methods

getValue :: Value -> Maybe Int16 Source #

PutValue Int16 
Instance details

Defined in Futhark.Data

Methods

putValue :: Int16 -> Maybe Value Source #

PutValue1 Int16 
Instance details

Defined in Futhark.Data

Bits Int16 
Instance details

Defined in GHC.Internal.Int

FiniteBits Int16 
Instance details

Defined in GHC.Internal.Int

Bounded Int16 
Instance details

Defined in GHC.Internal.Int

Enum Int16 
Instance details

Defined in GHC.Internal.Int

Storable Int16 
Instance details

Defined in GHC.Internal.Foreign.Storable

Methods

sizeOf :: Int16 -> Int

alignment :: Int16 -> Int

peekElemOff :: Ptr Int16 -> Int -> IO Int16

pokeElemOff :: Ptr Int16 -> Int -> Int16 -> IO ()

peekByteOff :: Ptr b -> Int -> IO Int16

pokeByteOff :: Ptr b -> Int -> Int16 -> IO ()

peek :: Ptr Int16 -> IO Int16

poke :: Ptr Int16 -> Int16 -> IO ()

Ix Int16 
Instance details

Defined in GHC.Internal.Int

Methods

range :: (Int16, Int16) -> [Int16]

index :: (Int16, Int16) -> Int16 -> Int

unsafeIndex :: (Int16, Int16) -> Int16 -> Int

inRange :: (Int16, Int16) -> Int16 -> Bool

rangeSize :: (Int16, Int16) -> Int

unsafeRangeSize :: (Int16, Int16) -> Int

Num Int16 
Instance details

Defined in GHC.Internal.Int

Methods

(+) :: Int16 -> Int16 -> Int16

(-) :: Int16 -> Int16 -> Int16

(*) :: Int16 -> Int16 -> Int16

negate :: Int16 -> Int16

abs :: Int16 -> Int16

signum :: Int16 -> Int16

fromInteger :: Integer -> Int16

Read Int16 
Instance details

Defined in GHC.Internal.Int

Methods

readsPrec :: Int -> ReadS Int16

readList :: ReadS [Int16]

readPrec :: ReadPrec Int16

readListPrec :: ReadPrec [Int16]

Integral Int16 
Instance details

Defined in GHC.Internal.Int

Methods

quot :: Int16 -> Int16 -> Int16

rem :: Int16 -> Int16 -> Int16

div :: Int16 -> Int16 -> Int16

mod :: Int16 -> Int16 -> Int16

quotRem :: Int16 -> Int16 -> (Int16, Int16)

divMod :: Int16 -> Int16 -> (Int16, Int16)

toInteger :: Int16 -> Integer

Real Int16 
Instance details

Defined in GHC.Internal.Int

Methods

toRational :: Int16 -> Rational

Show Int16 
Instance details

Defined in GHC.Internal.Int

Methods

showsPrec :: Int -> Int16 -> ShowS

show :: Int16 -> String

showList :: [Int16] -> ShowS

Eq Int16 
Instance details

Defined in GHC.Internal.Int

Methods

(==) :: Int16 -> Int16 -> Bool

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

Ord Int16 
Instance details

Defined in GHC.Internal.Int

Methods

compare :: Int16 -> Int16 -> Ordering

(<) :: Int16 -> Int16 -> Bool

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

(>) :: Int16 -> Int16 -> Bool

(>=) :: Int16 -> Int16 -> Bool

max :: Int16 -> Int16 -> Int16

min :: Int16 -> Int16 -> Int16

Hashable Int16 
Instance details

Defined in Data.Hashable.Class

Methods

hashWithSalt :: Int -> Int16 -> Int

hash :: Int16 -> Int

ToConst Int16 
Instance details

Defined in Language.C.Quote.Base

Methods

toConst :: Int16 -> SrcLoc -> Const Source #

ToExp Int16 
Instance details

Defined in Language.C.Quote.Base

Methods

toExp :: Int16 -> SrcLoc -> Exp Source #

Pretty Int16 
Instance details

Defined in Text.PrettyPrint.Mainland.Class

Variate Int16 
Instance details

Defined in System.Random.MWC

Methods

uniform :: PrimMonad m => Gen (PrimState m) -> m Int16 Source #

uniformR :: PrimMonad m => (Int16, Int16) -> Gen (PrimState m) -> m Int16 Source #

Pretty Int16 
Instance details

Defined in Prettyprinter.Internal

Methods

pretty :: Int16 -> Doc ann Source #

prettyList :: [Int16] -> Doc ann Source #

Prim Int16 
Instance details

Defined in Data.Primitive.Types

Methods

sizeOfType# :: Proxy Int16 -> Int#

sizeOf# :: Int16 -> Int#

alignmentOfType# :: Proxy Int16 -> Int#

alignment# :: Int16 -> Int#

indexByteArray# :: ByteArray# -> Int# -> Int16

readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, Int16 #)

writeByteArray# :: MutableByteArray# s -> Int# -> Int16 -> State# s -> State# s

setByteArray# :: MutableByteArray# s -> Int# -> Int# -> Int16 -> State# s -> State# s

indexOffAddr# :: Addr# -> Int# -> Int16

readOffAddr# :: Addr# -> Int# -> State# s -> (# State# s, Int16 #)

writeOffAddr# :: Addr# -> Int# -> Int16 -> State# s -> State# s

setOffAddr# :: Addr# -> Int# -> Int# -> Int16 -> State# s -> State# s

Random Int16 
Instance details

Defined in System.Random

Methods

randomR :: RandomGen g => (Int16, Int16) -> g -> (Int16, g) Source #

random :: RandomGen g => g -> (Int16, g) Source #

randomRs :: RandomGen g => (Int16, Int16) -> g -> [Int16] Source #

randoms :: RandomGen g => g -> [Int16] Source #

Uniform Int16 
Instance details

Defined in System.Random.Internal

Methods

uniformM :: StatefulGen g m => g -> m Int16 Source #

UniformRange Int16 
Instance details

Defined in System.Random.Internal

Methods

uniformRM :: StatefulGen g m => (Int16, Int16) -> g -> m Int16 Source #

Unbox Int16 
Instance details

Defined in Data.Vector.Unboxed.Base

IArray UArray Int16 
Instance details

Defined in Data.Array.Base

Methods

bounds :: Ix i => UArray i Int16 -> (i, i)

numElements :: Ix i => UArray i Int16 -> Int

unsafeArray :: Ix i => (i, i) -> [(Int, Int16)] -> UArray i Int16

unsafeAt :: Ix i => UArray i Int16 -> Int -> Int16

unsafeReplace :: Ix i => UArray i Int16 -> [(Int, Int16)] -> UArray i Int16

unsafeAccum :: Ix i => (Int16 -> e' -> Int16) -> UArray i Int16 -> [(Int, e')] -> UArray i Int16

unsafeAccumArray :: Ix i => (Int16 -> e' -> Int16) -> Int16 -> (i, i) -> [(Int, e')] -> UArray i Int16

IntExp Int16 Source # 
Instance details

Defined in Futhark.Analysis.PrimExp

NumExp Int16 Source # 
Instance details

Defined in Futhark.Analysis.PrimExp

MkTV Int16 Source # 
Instance details

Defined in Futhark.CodeGen.ImpGen

Lift Int16 
Instance details

Defined in Language.Haskell.TH.Syntax

Methods

lift :: Quote m => Int16 -> m Exp

liftTyped :: forall (m :: Type -> Type). Quote m => Int16 -> Code m Int16

Vector Vector Int16 
Instance details

Defined in Data.Vector.Unboxed.Base

Methods

basicUnsafeFreeze :: Mutable Vector s Int16 -> ST s (Vector Int16)

basicUnsafeThaw :: Vector Int16 -> ST s (Mutable Vector s Int16)

basicLength :: Vector Int16 -> Int

basicUnsafeSlice :: Int -> Int -> Vector Int16 -> Vector Int16

basicUnsafeIndexM :: Vector Int16 -> Int -> Box Int16

basicUnsafeCopy :: Mutable Vector s Int16 -> Vector Int16 -> ST s ()

elemseq :: Vector Int16 -> Int16 -> b -> b

MVector MVector Int16 
Instance details

Defined in Data.Vector.Unboxed.Base

Methods

basicLength :: MVector s Int16 -> Int

basicUnsafeSlice :: Int -> Int -> MVector s Int16 -> MVector s Int16

basicOverlaps :: MVector s Int16 -> MVector s Int16 -> Bool

basicUnsafeNew :: Int -> ST s (MVector s Int16)

basicInitialize :: MVector s Int16 -> ST s ()

basicUnsafeReplicate :: Int -> Int16 -> ST s (MVector s Int16)

basicUnsafeRead :: MVector s Int16 -> Int -> ST s Int16

basicUnsafeWrite :: MVector s Int16 -> Int -> Int16 -> ST s ()

basicClear :: MVector s Int16 -> ST s ()

basicSet :: MVector s Int16 -> Int16 -> ST s ()

basicUnsafeCopy :: MVector s Int16 -> MVector s Int16 -> ST s ()

basicUnsafeMove :: MVector s Int16 -> MVector s Int16 -> ST s ()

basicUnsafeGrow :: MVector s Int16 -> Int -> ST s (MVector s Int16)

MArray IOUArray Int16 IO 
Instance details

Defined in Data.Array.IO.Internals

Methods

getBounds :: Ix i => IOUArray i Int16 -> IO (i, i)

getNumElements :: Ix i => IOUArray i Int16 -> IO Int

newArray :: Ix i => (i, i) -> Int16 -> IO (IOUArray i Int16)

newArray_ :: Ix i => (i, i) -> IO (IOUArray i Int16)

unsafeNewArray_ :: Ix i => (i, i) -> IO (IOUArray i Int16)

unsafeRead :: Ix i => IOUArray i Int16 -> Int -> IO Int16

unsafeWrite :: Ix i => IOUArray i Int16 -> Int -> Int16 -> IO ()

MArray (STUArray s) Int16 (ST s) 
Instance details

Defined in Data.Array.Base

Methods

getBounds :: Ix i => STUArray s i Int16 -> ST s (i, i)

getNumElements :: Ix i => STUArray s i Int16 -> ST s Int

newArray :: Ix i => (i, i) -> Int16 -> ST s (STUArray s i Int16)

newArray_ :: Ix i => (i, i) -> ST s (STUArray s i Int16)

unsafeNewArray_ :: Ix i => (i, i) -> ST s (STUArray s i Int16)

unsafeRead :: Ix i => STUArray s i Int16 -> Int -> ST s Int16

unsafeWrite :: Ix i => STUArray s i Int16 -> Int -> Int16 -> ST s ()

type Unsigned Int16 
Instance details

Defined in System.Random.MWC

type Unsigned Int16 = Word16
newtype Vector Int16 
Instance details

Defined in Data.Vector.Unboxed.Base

newtype Vector Int16 = V_Int16 (Vector Int16)
newtype MVector s Int16 
Instance details

Defined in Data.Vector.Unboxed.Base

newtype MVector s Int16 = MV_Int16 (MVector s Int16)

data Int32 #

Instances

Instances details
FromJSON Int32 
Instance details

Defined in Data.Aeson.Types.FromJSON

FromJSONKey Int32 
Instance details

Defined in Data.Aeson.Types.FromJSON

ToJSON Int32 
Instance details

Defined in Data.Aeson.Types.ToJSON

ToJSONKey Int32 
Instance details

Defined in Data.Aeson.Types.ToJSON

PrintfArg Int32 
Instance details

Defined in Text.Printf

Methods

formatArg :: Int32 -> FieldFormatter

parseFormat :: Int32 -> ModifierParser

Binary Int32 
Instance details

Defined in Data.Binary.Class

Methods

put :: Int32 -> Put

get :: Get Int32

putList :: [Int32] -> Put

ToMarkup Int32 
Instance details

Defined in Text.Blaze

Methods

toMarkup :: Int32 -> Markup

preEscapedToMarkup :: Int32 -> Markup

ToValue Int32 
Instance details

Defined in Text.Blaze

Methods

toValue :: Int32 -> AttributeValue

preEscapedToValue :: Int32 -> AttributeValue

NFData Int32 
Instance details

Defined in Control.DeepSeq

Methods

rnf :: Int32 -> ()

IsValue Int32 Source # 
Instance details

Defined in Futhark.IR.Prop.Constants

IsPrimValue Int32 Source # 
Instance details

Defined in Language.Futhark.Syntax

GetValue Int32 
Instance details

Defined in Futhark.Data

Methods

getValue :: Value -> Maybe Int32 Source #

PutValue Int32 
Instance details

Defined in Futhark.Data

Methods

putValue :: Int32 -> Maybe Value Source #

PutValue1 Int32 
Instance details

Defined in Futhark.Data

Bits Int32 
Instance details

Defined in GHC.Internal.Int

FiniteBits Int32 
Instance details

Defined in GHC.Internal.Int

Bounded Int32 
Instance details

Defined in GHC.Internal.Int

Enum Int32 
Instance details

Defined in GHC.Internal.Int

Storable Int32 
Instance details

Defined in GHC.Internal.Foreign.Storable

Methods

sizeOf :: Int32 -> Int

alignment :: Int32 -> Int

peekElemOff :: Ptr Int32 -> Int -> IO Int32

pokeElemOff :: Ptr Int32 -> Int -> Int32 -> IO ()

peekByteOff :: Ptr b -> Int -> IO Int32

pokeByteOff :: Ptr b -> Int -> Int32 -> IO ()

peek :: Ptr Int32 -> IO Int32

poke :: Ptr Int32 -> Int32 -> IO ()

Ix Int32 
Instance details

Defined in GHC.Internal.Int

Methods

range :: (Int32, Int32) -> [Int32]

index :: (Int32, Int32) -> Int32 -> Int

unsafeIndex :: (Int32, Int32) -> Int32 -> Int

inRange :: (Int32, Int32) -> Int32 -> Bool

rangeSize :: (Int32, Int32) -> Int

unsafeRangeSize :: (Int32, Int32) -> Int

Num Int32 
Instance details

Defined in GHC.Internal.Int

Methods

(+) :: Int32 -> Int32 -> Int32

(-) :: Int32 -> Int32 -> Int32

(*) :: Int32 -> Int32 -> Int32

negate :: Int32 -> Int32

abs :: Int32 -> Int32

signum :: Int32 -> Int32

fromInteger :: Integer -> Int32

Read Int32 
Instance details

Defined in GHC.Internal.Int

Methods

readsPrec :: Int -> ReadS Int32

readList :: ReadS [Int32]

readPrec :: ReadPrec Int32

readListPrec :: ReadPrec [Int32]

Integral Int32 
Instance details

Defined in GHC.Internal.Int

Methods

quot :: Int32 -> Int32 -> Int32

rem :: Int32 -> Int32 -> Int32

div :: Int32 -> Int32 -> Int32

mod :: Int32 -> Int32 -> Int32

quotRem :: Int32 -> Int32 -> (Int32, Int32)

divMod :: Int32 -> Int32 -> (Int32, Int32)

toInteger :: Int32 -> Integer

Real Int32 
Instance details

Defined in GHC.Internal.Int

Methods

toRational :: Int32 -> Rational

Show Int32 
Instance details

Defined in GHC.Internal.Int

Methods

showsPrec :: Int -> Int32 -> ShowS

show :: Int32 -> String

showList :: [Int32] -> ShowS

Eq Int32 
Instance details

Defined in GHC.Internal.Int

Methods

(==) :: Int32 -> Int32 -> Bool

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

Ord Int32 
Instance details

Defined in GHC.Internal.Int

Methods

compare :: Int32 -> Int32 -> Ordering

(<) :: Int32 -> Int32 -> Bool

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

(>) :: Int32 -> Int32 -> Bool

(>=) :: Int32 -> Int32 -> Bool

max :: Int32 -> Int32 -> Int32

min :: Int32 -> Int32 -> Int32

Hashable Int32 
Instance details

Defined in Data.Hashable.Class

Methods

hashWithSalt :: Int -> Int32 -> Int

hash :: Int32 -> Int

ToConst Int32 
Instance details

Defined in Language.C.Quote.Base

Methods

toConst :: Int32 -> SrcLoc -> Const Source #

ToExp Int32 
Instance details

Defined in Language.C.Quote.Base

Methods

toExp :: Int32 -> SrcLoc -> Exp Source #

Pretty Int32 
Instance details

Defined in Text.PrettyPrint.Mainland.Class

Variate Int32 
Instance details

Defined in System.Random.MWC

Methods

uniform :: PrimMonad m => Gen (PrimState m) -> m Int32 Source #

uniformR :: PrimMonad m => (Int32, Int32) -> Gen (PrimState m) -> m Int32 Source #

Pretty Int32 
Instance details

Defined in Prettyprinter.Internal

Methods

pretty :: Int32 -> Doc ann Source #

prettyList :: [Int32] -> Doc ann Source #

Prim Int32 
Instance details

Defined in Data.Primitive.Types

Methods

sizeOfType# :: Proxy Int32 -> Int#

sizeOf# :: Int32 -> Int#

alignmentOfType# :: Proxy Int32 -> Int#

alignment# :: Int32 -> Int#

indexByteArray# :: ByteArray# -> Int# -> Int32

readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, Int32 #)

writeByteArray# :: MutableByteArray# s -> Int# -> Int32 -> State# s -> State# s

setByteArray# :: MutableByteArray# s -> Int# -> Int# -> Int32 -> State# s -> State# s

indexOffAddr# :: Addr# -> Int# -> Int32

readOffAddr# :: Addr# -> Int# -> State# s -> (# State# s, Int32 #)

writeOffAddr# :: Addr# -> Int# -> Int32 -> State# s -> State# s

setOffAddr# :: Addr# -> Int# -> Int# -> Int32 -> State# s -> State# s

Random Int32 
Instance details

Defined in System.Random

Methods

randomR :: RandomGen g => (Int32, Int32) -> g -> (Int32, g) Source #

random :: RandomGen g => g -> (Int32, g) Source #

randomRs :: RandomGen g => (Int32, Int32) -> g -> [Int32] Source #

randoms :: RandomGen g => g -> [Int32] Source #

Uniform Int32 
Instance details

Defined in System.Random.Internal

Methods

uniformM :: StatefulGen g m => g -> m Int32 Source #

UniformRange Int32 
Instance details

Defined in System.Random.Internal

Methods

uniformRM :: StatefulGen g m => (Int32, Int32) -> g -> m Int32 Source #

Unbox Int32 
Instance details

Defined in Data.Vector.Unboxed.Base

IArray UArray Int32 
Instance details

Defined in Data.Array.Base

Methods

bounds :: Ix i => UArray i Int32 -> (i, i)

numElements :: Ix i => UArray i Int32 -> Int

unsafeArray :: Ix i => (i, i) -> [(Int, Int32)] -> UArray i Int32

unsafeAt :: Ix i => UArray i Int32 -> Int -> Int32

unsafeReplace :: Ix i => UArray i Int32 -> [(Int, Int32)] -> UArray i Int32

unsafeAccum :: Ix i => (Int32 -> e' -> Int32) -> UArray i Int32 -> [(Int, e')] -> UArray i Int32

unsafeAccumArray :: Ix i => (Int32 -> e' -> Int32) -> Int32 -> (i, i) -> [(Int, e')] -> UArray i Int32

IntExp Int32 Source # 
Instance details

Defined in Futhark.Analysis.PrimExp

NumExp Int32 Source # 
Instance details

Defined in Futhark.Analysis.PrimExp

MkTV Int32 Source # 
Instance details

Defined in Futhark.CodeGen.ImpGen

Lift Int32 
Instance details

Defined in Language.Haskell.TH.Syntax

Methods

lift :: Quote m => Int32 -> m Exp

liftTyped :: forall (m :: Type -> Type). Quote m => Int32 -> Code m Int32

Vector Vector Int32 
Instance details

Defined in Data.Vector.Unboxed.Base

Methods

basicUnsafeFreeze :: Mutable Vector s Int32 -> ST s (Vector Int32)

basicUnsafeThaw :: Vector Int32 -> ST s (Mutable Vector s Int32)

basicLength :: Vector Int32 -> Int

basicUnsafeSlice :: Int -> Int -> Vector Int32 -> Vector Int32

basicUnsafeIndexM :: Vector Int32 -> Int -> Box Int32

basicUnsafeCopy :: Mutable Vector s Int32 -> Vector Int32 -> ST s ()

elemseq :: Vector Int32 -> Int32 -> b -> b

MVector MVector Int32 
Instance details

Defined in Data.Vector.Unboxed.Base

Methods

basicLength :: MVector s Int32 -> Int

basicUnsafeSlice :: Int -> Int -> MVector s Int32 -> MVector s Int32

basicOverlaps :: MVector s Int32 -> MVector s Int32 -> Bool

basicUnsafeNew :: Int -> ST s (MVector s Int32)

basicInitialize :: MVector s Int32 -> ST s ()

basicUnsafeReplicate :: Int -> Int32 -> ST s (MVector s Int32)

basicUnsafeRead :: MVector s Int32 -> Int -> ST s Int32

basicUnsafeWrite :: MVector s Int32 -> Int -> Int32 -> ST s ()

basicClear :: MVector s Int32 -> ST s ()

basicSet :: MVector s Int32 -> Int32 -> ST s ()

basicUnsafeCopy :: MVector s Int32 -> MVector s Int32 -> ST s ()

basicUnsafeMove :: MVector s Int32 -> MVector s Int32 -> ST s ()

basicUnsafeGrow :: MVector s Int32 -> Int -> ST s (MVector s Int32)

MArray IOUArray Int32 IO 
Instance details

Defined in Data.Array.IO.Internals

Methods

getBounds :: Ix i => IOUArray i Int32 -> IO (i, i)

getNumElements :: Ix i => IOUArray i Int32 -> IO Int

newArray :: Ix i => (i, i) -> Int32 -> IO (IOUArray i Int32)

newArray_ :: Ix i => (i, i) -> IO (IOUArray i Int32)

unsafeNewArray_ :: Ix i => (i, i) -> IO (IOUArray i Int32)

unsafeRead :: Ix i => IOUArray i Int32 -> Int -> IO Int32

unsafeWrite :: Ix i => IOUArray i Int32 -> Int -> Int32 -> IO ()

MArray (STUArray s) Int32 (ST s) 
Instance details

Defined in Data.Array.Base

Methods

getBounds :: Ix i => STUArray s i Int32 -> ST s (i, i)

getNumElements :: Ix i => STUArray s i Int32 -> ST s Int

newArray :: Ix i => (i, i) -> Int32 -> ST s (STUArray s i Int32)

newArray_ :: Ix i => (i, i) -> ST s (STUArray s i Int32)

unsafeNewArray_ :: Ix i => (i, i) -> ST s (STUArray s i Int32)

unsafeRead :: Ix i => STUArray s i Int32 -> Int -> ST s Int32

unsafeWrite :: Ix i => STUArray s i Int32 -> Int -> Int32 -> ST s ()

type Unsigned Int32 
Instance details

Defined in System.Random.MWC

type Unsigned Int32 = Word32
newtype Vector Int32 
Instance details

Defined in Data.Vector.Unboxed.Base

newtype Vector Int32 = V_Int32 (Vector Int32)
newtype MVector s Int32 
Instance details

Defined in Data.Vector.Unboxed.Base

newtype MVector s Int32 = MV_Int32 (MVector s Int32)

data Int64 #

Instances

Instances details
FromJSON Int64 
Instance details

Defined in Data.Aeson.Types.FromJSON

FromJSONKey Int64 
Instance details

Defined in Data.Aeson.Types.FromJSON

ToJSON Int64 
Instance details

Defined in Data.Aeson.Types.ToJSON

ToJSONKey Int64 
Instance details

Defined in Data.Aeson.Types.ToJSON

PrintfArg Int64 
Instance details

Defined in Text.Printf

Methods

formatArg :: Int64 -> FieldFormatter

parseFormat :: Int64 -> ModifierParser

Binary Int64 
Instance details

Defined in Data.Binary.Class

Methods

put :: Int64 -> Put

get :: Get Int64

putList :: [Int64] -> Put

ToMarkup Int64 
Instance details

Defined in Text.Blaze

Methods

toMarkup :: Int64 -> Markup

preEscapedToMarkup :: Int64 -> Markup

ToValue Int64 
Instance details

Defined in Text.Blaze

Methods

toValue :: Int64 -> AttributeValue

preEscapedToValue :: Int64 -> AttributeValue

NFData Int64 
Instance details

Defined in Control.DeepSeq

Methods

rnf :: Int64 -> ()

IsValue Int64 Source # 
Instance details

Defined in Futhark.IR.Prop.Constants

IsPrimValue Int64 Source # 
Instance details

Defined in Language.Futhark.Syntax

GetValue Int64 
Instance details

Defined in Futhark.Data

Methods

getValue :: Value -> Maybe Int64 Source #

PutValue Int64 
Instance details

Defined in Futhark.Data

Methods

putValue :: Int64 -> Maybe Value Source #

PutValue1 Int64 
Instance details

Defined in Futhark.Data

Bits Int64 
Instance details

Defined in GHC.Internal.Int

FiniteBits Int64 
Instance details

Defined in GHC.Internal.Int

Bounded Int64 
Instance details

Defined in GHC.Internal.Int

Enum Int64 
Instance details

Defined in GHC.Internal.Int

Storable Int64 
Instance details

Defined in GHC.Internal.Foreign.Storable

Methods

sizeOf :: Int64 -> Int

alignment :: Int64 -> Int

peekElemOff :: Ptr Int64 -> Int -> IO Int64

pokeElemOff :: Ptr Int64 -> Int -> Int64 -> IO ()

peekByteOff :: Ptr b -> Int -> IO Int64

pokeByteOff :: Ptr b -> Int -> Int64 -> IO ()

peek :: Ptr Int64 -> IO Int64

poke :: Ptr Int64 -> Int64 -> IO ()

Ix Int64 
Instance details

Defined in GHC.Internal.Int

Methods

range :: (Int64, Int64) -> [Int64]

index :: (Int64, Int64) -> Int64 -> Int

unsafeIndex :: (Int64, Int64) -> Int64 -> Int

inRange :: (Int64, Int64) -> Int64 -> Bool

rangeSize :: (Int64, Int64) -> Int

unsafeRangeSize :: (Int64, Int64) -> Int

Num Int64 
Instance details

Defined in GHC.Internal.Int

Methods

(+) :: Int64 -> Int64 -> Int64

(-) :: Int64 -> Int64 -> Int64

(*) :: Int64 -> Int64 -> Int64

negate :: Int64 -> Int64

abs :: Int64 -> Int64

signum :: Int64 -> Int64

fromInteger :: Integer -> Int64

Read Int64 
Instance details

Defined in GHC.Internal.Int

Methods

readsPrec :: Int -> ReadS Int64

readList :: ReadS [Int64]

readPrec :: ReadPrec Int64

readListPrec :: ReadPrec [Int64]

Integral Int64 
Instance details

Defined in GHC.Internal.Int

Methods

quot :: Int64 -> Int64 -> Int64

rem :: Int64 -> Int64 -> Int64

div :: Int64 -> Int64 -> Int64

mod :: Int64 -> Int64 -> Int64

quotRem :: Int64 -> Int64 -> (Int64, Int64)

divMod :: Int64 -> Int64 -> (Int64, Int64)

toInteger :: Int64 -> Integer

Real Int64 
Instance details

Defined in GHC.Internal.Int

Methods

toRational :: Int64 -> Rational

Show Int64 
Instance details

Defined in GHC.Internal.Int

Methods

showsPrec :: Int -> Int64 -> ShowS

show :: Int64 -> String

showList :: [Int64] -> ShowS

Eq Int64 
Instance details

Defined in GHC.Internal.Int

Methods

(==) :: Int64 -> Int64 -> Bool

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

Ord Int64 
Instance details

Defined in GHC.Internal.Int

Methods

compare :: Int64 -> Int64 -> Ordering

(<) :: Int64 -> Int64 -> Bool

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

(>) :: Int64 -> Int64 -> Bool

(>=) :: Int64 -> Int64 -> Bool

max :: Int64 -> Int64 -> Int64

min :: Int64 -> Int64 -> Int64

Hashable Int64 
Instance details

Defined in Data.Hashable.Class

Methods

hashWithSalt :: Int -> Int64 -> Int

hash :: Int64 -> Int

ToConst Int64 
Instance details

Defined in Language.C.Quote.Base

Methods

toConst :: Int64 -> SrcLoc -> Const Source #

ToExp Int64 
Instance details

Defined in Language.C.Quote.Base

Methods

toExp :: Int64 -> SrcLoc -> Exp Source #

Pretty Int64 
Instance details

Defined in Text.PrettyPrint.Mainland.Class

Variate Int64 
Instance details

Defined in System.Random.MWC

Methods

uniform :: PrimMonad m => Gen (PrimState m) -> m Int64 Source #

uniformR :: PrimMonad m => (Int64, Int64) -> Gen (PrimState m) -> m Int64 Source #

Pretty Int64 
Instance details

Defined in Prettyprinter.Internal

Methods

pretty :: Int64 -> Doc ann Source #

prettyList :: [Int64] -> Doc ann Source #

Prim Int64 
Instance details

Defined in Data.Primitive.Types

Methods

sizeOfType# :: Proxy Int64 -> Int#

sizeOf# :: Int64 -> Int#

alignmentOfType# :: Proxy Int64 -> Int#

alignment# :: Int64 -> Int#

indexByteArray# :: ByteArray# -> Int# -> Int64

readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, Int64 #)

writeByteArray# :: MutableByteArray# s -> Int# -> Int64 -> State# s -> State# s

setByteArray# :: MutableByteArray# s -> Int# -> Int# -> Int64 -> State# s -> State# s

indexOffAddr# :: Addr# -> Int# -> Int64

readOffAddr# :: Addr# -> Int# -> State# s -> (# State# s, Int64 #)

writeOffAddr# :: Addr# -> Int# -> Int64 -> State# s -> State# s

setOffAddr# :: Addr# -> Int# -> Int# -> Int64 -> State# s -> State# s

Random Int64 
Instance details

Defined in System.Random

Methods

randomR :: RandomGen g => (Int64, Int64) -> g -> (Int64, g) Source #

random :: RandomGen g => g -> (Int64, g) Source #

randomRs :: RandomGen g => (Int64, Int64) -> g -> [Int64] Source #

randoms :: RandomGen g => g -> [Int64] Source #

Uniform Int64 
Instance details

Defined in System.Random.Internal

Methods

uniformM :: StatefulGen g m => g -> m Int64 Source #

UniformRange Int64 
Instance details

Defined in System.Random.Internal

Methods

uniformRM :: StatefulGen g m => (Int64, Int64) -> g -> m Int64 Source #

Unbox Int64 
Instance details

Defined in Data.Vector.Unboxed.Base

IArray UArray Int64 
Instance details

Defined in Data.Array.Base

Methods

bounds :: Ix i => UArray i Int64 -> (i, i)

numElements :: Ix i => UArray i Int64 -> Int

unsafeArray :: Ix i => (i, i) -> [(Int, Int64)] -> UArray i Int64

unsafeAt :: Ix i => UArray i Int64 -> Int -> Int64

unsafeReplace :: Ix i => UArray i Int64 -> [(Int, Int64)] -> UArray i Int64

unsafeAccum :: Ix i => (Int64 -> e' -> Int64) -> UArray i Int64 -> [(Int, e')] -> UArray i Int64

unsafeAccumArray :: Ix i => (Int64 -> e' -> Int64) -> Int64 -> (i, i) -> [(Int, e')] -> UArray i Int64

IntExp Int64 Source # 
Instance details

Defined in Futhark.Analysis.PrimExp

NumExp Int64 Source # 
Instance details

Defined in Futhark.Analysis.PrimExp

MkTV Int64 Source # 
Instance details

Defined in Futhark.CodeGen.ImpGen

Lift Int64 
Instance details

Defined in Language.Haskell.TH.Syntax

Methods

lift :: Quote m => Int64 -> m Exp

liftTyped :: forall (m :: Type -> Type). Quote m => Int64 -> Code m Int64

Vector Vector Int64 
Instance details

Defined in Data.Vector.Unboxed.Base

Methods

basicUnsafeFreeze :: Mutable Vector s Int64 -> ST s (Vector Int64)

basicUnsafeThaw :: Vector Int64 -> ST s (Mutable Vector s Int64)

basicLength :: Vector Int64 -> Int

basicUnsafeSlice :: Int -> Int -> Vector Int64 -> Vector Int64

basicUnsafeIndexM :: Vector Int64 -> Int -> Box Int64

basicUnsafeCopy :: Mutable Vector s Int64 -> Vector Int64 -> ST s ()

elemseq :: Vector Int64 -> Int64 -> b -> b

MVector MVector Int64 
Instance details

Defined in Data.Vector.Unboxed.Base

Methods

basicLength :: MVector s Int64 -> Int

basicUnsafeSlice :: Int -> Int -> MVector s Int64 -> MVector s Int64

basicOverlaps :: MVector s Int64 -> MVector s Int64 -> Bool

basicUnsafeNew :: Int -> ST s (MVector s Int64)

basicInitialize :: MVector s Int64 -> ST s ()

basicUnsafeReplicate :: Int -> Int64 -> ST s (MVector s Int64)

basicUnsafeRead :: MVector s Int64 -> Int -> ST s Int64

basicUnsafeWrite :: MVector s Int64 -> Int -> Int64 -> ST s ()

basicClear :: MVector s Int64 -> ST s ()

basicSet :: MVector s Int64 -> Int64 -> ST s ()

basicUnsafeCopy :: MVector s Int64 -> MVector s Int64 -> ST s ()

basicUnsafeMove :: MVector s Int64 -> MVector s Int64 -> ST s ()

basicUnsafeGrow :: MVector s Int64 -> Int -> ST s (MVector s Int64)

MArray IOUArray Int64 IO 
Instance details

Defined in Data.Array.IO.Internals

Methods

getBounds :: Ix i => IOUArray i Int64 -> IO (i, i)

getNumElements :: Ix i => IOUArray i Int64 -> IO Int

newArray :: Ix i => (i, i) -> Int64 -> IO (IOUArray i Int64)

newArray_ :: Ix i => (i, i) -> IO (IOUArray i Int64)

unsafeNewArray_ :: Ix i => (i, i) -> IO (IOUArray i Int64)

unsafeRead :: Ix i => IOUArray i Int64 -> Int -> IO Int64

unsafeWrite :: Ix i => IOUArray i Int64 -> Int -> Int64 -> IO ()

Pretty (Shape Int64) Source # 
Instance details

Defined in Language.Futhark.Pretty

Methods

pretty :: Shape Int64 -> Doc ann Source #

prettyList :: [Shape Int64] -> Doc ann Source #

MArray (STUArray s) Int64 (ST s) 
Instance details

Defined in Data.Array.Base

Methods

getBounds :: Ix i => STUArray s i Int64 -> ST s (i, i)

getNumElements :: Ix i => STUArray s i Int64 -> ST s Int

newArray :: Ix i => (i, i) -> Int64 -> ST s (STUArray s i Int64)

newArray_ :: Ix i => (i, i) -> ST s (STUArray s i Int64)

unsafeNewArray_ :: Ix i => (i, i) -> ST s (STUArray s i Int64)

unsafeRead :: Ix i => STUArray s i Int64 -> Int -> ST s Int64

unsafeWrite :: Ix i => STUArray s i Int64 -> Int -> Int64 -> ST s ()

type Unsigned Int64 
Instance details

Defined in System.Random.MWC

type Unsigned Int64 = Word64
newtype Vector Int64 
Instance details

Defined in Data.Vector.Unboxed.Base

newtype Vector Int64 = V_Int64 (Vector Int64)
newtype MVector s Int64 
Instance details

Defined in Data.Vector.Unboxed.Base

newtype MVector s Int64 = MV_Int64 (MVector s Int64)

data Word8 #

Instances

Instances details
FromJSON Word8 
Instance details

Defined in Data.Aeson.Types.FromJSON

FromJSONKey Word8 
Instance details

Defined in Data.Aeson.Types.FromJSON

ToJSON Word8 
Instance details

Defined in Data.Aeson.Types.ToJSON

ToJSONKey Word8 
Instance details

Defined in Data.Aeson.Types.ToJSON

PrintfArg Word8 
Instance details

Defined in Text.Printf

Methods

formatArg :: Word8 -> FieldFormatter

parseFormat :: Word8 -> ModifierParser

Binary Word8 
Instance details

Defined in Data.Binary.Class

Methods

put :: Word8 -> Put

get :: Get Word8

putList :: [Word8] -> Put

NFData Word8 
Instance details

Defined in Control.DeepSeq

Methods

rnf :: Word8 -> ()

IsValue Word8 Source # 
Instance details

Defined in Futhark.IR.Prop.Constants

IsPrimValue Word8 Source # 
Instance details

Defined in Language.Futhark.Syntax

GetValue Word8 
Instance details

Defined in Futhark.Data

Methods

getValue :: Value -> Maybe Word8 Source #

PutValue Word8 
Instance details

Defined in Futhark.Data

Methods

putValue :: Word8 -> Maybe Value Source #

PutValue1 Word8 
Instance details

Defined in Futhark.Data

Bits Word8 
Instance details

Defined in GHC.Internal.Word

FiniteBits Word8 
Instance details

Defined in GHC.Internal.Word

Bounded Word8 
Instance details

Defined in GHC.Internal.Word

Enum Word8 
Instance details

Defined in GHC.Internal.Word

Storable Word8 
Instance details

Defined in GHC.Internal.Foreign.Storable

Methods

sizeOf :: Word8 -> Int

alignment :: Word8 -> Int

peekElemOff :: Ptr Word8 -> Int -> IO Word8

pokeElemOff :: Ptr Word8 -> Int -> Word8 -> IO ()

peekByteOff :: Ptr b -> Int -> IO Word8

pokeByteOff :: Ptr b -> Int -> Word8 -> IO ()

peek :: Ptr Word8 -> IO Word8

poke :: Ptr Word8 -> Word8 -> IO ()

Ix Word8 
Instance details

Defined in GHC.Internal.Word

Methods

range :: (Word8, Word8) -> [Word8]

index :: (Word8, Word8) -> Word8 -> Int

unsafeIndex :: (Word8, Word8) -> Word8 -> Int

inRange :: (Word8, Word8) -> Word8 -> Bool

rangeSize :: (Word8, Word8) -> Int

unsafeRangeSize :: (Word8, Word8) -> Int

Num Word8 
Instance details

Defined in GHC.Internal.Word

Methods

(+) :: Word8 -> Word8 -> Word8

(-) :: Word8 -> Word8 -> Word8

(*) :: Word8 -> Word8 -> Word8

negate :: Word8 -> Word8

abs :: Word8 -> Word8

signum :: Word8 -> Word8

fromInteger :: Integer -> Word8

Read Word8 
Instance details

Defined in GHC.Internal.Read

Methods

readsPrec :: Int -> ReadS Word8

readList :: ReadS [Word8]

readPrec :: ReadPrec Word8

readListPrec :: ReadPrec [Word8]

Integral Word8 
Instance details

Defined in GHC.Internal.Word

Methods

quot :: Word8 -> Word8 -> Word8

rem :: Word8 -> Word8 -> Word8

div :: Word8 -> Word8 -> Word8

mod :: Word8 -> Word8 -> Word8

quotRem :: Word8 -> Word8 -> (Word8, Word8)

divMod :: Word8 -> Word8 -> (Word8, Word8)

toInteger :: Word8 -> Integer

Real Word8 
Instance details

Defined in GHC.Internal.Word

Methods

toRational :: Word8 -> Rational

Show Word8 
Instance details

Defined in GHC.Internal.Word

Methods

showsPrec :: Int -> Word8 -> ShowS

show :: Word8 -> String

showList :: [Word8] -> ShowS

Eq Word8 
Instance details

Defined in GHC.Internal.Word

Methods

(==) :: Word8 -> Word8 -> Bool

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

Ord Word8 
Instance details

Defined in GHC.Internal.Word

Methods

compare :: Word8 -> Word8 -> Ordering

(<) :: Word8 -> Word8 -> Bool

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

(>) :: Word8 -> Word8 -> Bool

(>=) :: Word8 -> Word8 -> Bool

max :: Word8 -> Word8 -> Word8

min :: Word8 -> Word8 -> Word8

Hashable Word8 
Instance details

Defined in Data.Hashable.Class

Methods

hashWithSalt :: Int -> Word8 -> Int

hash :: Word8 -> Int

ToConst Word8 
Instance details

Defined in Language.C.Quote.Base

Methods

toConst :: Word8 -> SrcLoc -> Const Source #

ToExp Word8 
Instance details

Defined in Language.C.Quote.Base

Methods

toExp :: Word8 -> SrcLoc -> Exp Source #

Pretty Word8 
Instance details

Defined in Text.PrettyPrint.Mainland.Class

Variate Word8 
Instance details

Defined in System.Random.MWC

Methods

uniform :: PrimMonad m => Gen (PrimState m) -> m Word8 Source #

uniformR :: PrimMonad m => (Word8, Word8) -> Gen (PrimState m) -> m Word8 Source #

Pretty Word8 
Instance details

Defined in Prettyprinter.Internal

Methods

pretty :: Word8 -> Doc ann Source #

prettyList :: [Word8] -> Doc ann Source #

Prim Word8 
Instance details

Defined in Data.Primitive.Types

Methods

sizeOfType# :: Proxy Word8 -> Int#

sizeOf# :: Word8 -> Int#

alignmentOfType# :: Proxy Word8 -> Int#

alignment# :: Word8 -> Int#

indexByteArray# :: ByteArray# -> Int# -> Word8

readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, Word8 #)

writeByteArray# :: MutableByteArray# s -> Int# -> Word8 -> State# s -> State# s

setByteArray# :: MutableByteArray# s -> Int# -> Int# -> Word8 -> State# s -> State# s

indexOffAddr# :: Addr# -> Int# -> Word8

readOffAddr# :: Addr# -> Int# -> State# s -> (# State# s, Word8 #)

writeOffAddr# :: Addr# -> Int# -> Word8 -> State# s -> State# s

setOffAddr# :: Addr# -> Int# -> Int# -> Word8 -> State# s -> State# s

Dot Word8 
Instance details

Defined in System.Process.Run

Methods

dot :: Word8

Random Word8 
Instance details

Defined in System.Random

Methods

randomR :: RandomGen g => (Word8, Word8) -> g -> (Word8, g) Source #

random :: RandomGen g => g -> (Word8, g) Source #

randomRs :: RandomGen g => (Word8, Word8) -> g -> [Word8] Source #

randoms :: RandomGen g => g -> [Word8] Source #

Uniform Word8 
Instance details

Defined in System.Random.Internal

Methods

uniformM :: StatefulGen g m => g -> m Word8 Source #

UniformRange Word8 
Instance details

Defined in System.Random.Internal

Methods

uniformRM :: StatefulGen g m => (Word8, Word8) -> g -> m Word8 Source #

ByteSource Word8 
Instance details

Defined in Data.UUID.Types.Internal.Builder

Methods

(/-/) :: ByteSink Word8 g -> Word8 -> g

Unbox Word8 
Instance details

Defined in Data.Vector.Unboxed.Base

ListLike ByteString Word8 
Instance details

Defined in Data.ListLike.Instances

Methods

empty :: ByteString

singleton :: Word8 -> ByteString

cons :: Word8 -> ByteString -> ByteString

snoc :: ByteString -> Word8 -> ByteString

append :: ByteString -> ByteString -> ByteString

head :: ByteString -> Word8

uncons :: ByteString -> Maybe (Word8, ByteString)

last :: ByteString -> Word8

tail :: ByteString -> ByteString

init :: ByteString -> ByteString

null :: ByteString -> Bool

length :: ByteString -> Int

map :: ListLike full' item' => (Word8 -> item') -> ByteString -> full'

rigidMap :: (Word8 -> Word8) -> ByteString -> ByteString

reverse :: ByteString -> ByteString

intersperse :: Word8 -> ByteString -> ByteString

concat :: ListLike full' ByteString => full' -> ByteString

concatMap :: ListLike full' item' => (Word8 -> full') -> ByteString -> full'

rigidConcatMap :: (Word8 -> ByteString) -> ByteString -> ByteString

any :: (Word8 -> Bool) -> ByteString -> Bool

all :: (Word8 -> Bool) -> ByteString -> Bool

maximum :: ByteString -> Word8

minimum :: ByteString -> Word8

replicate :: Int -> Word8 -> ByteString

take :: Int -> ByteString -> ByteString

drop :: Int -> ByteString -> ByteString

splitAt :: Int -> ByteString -> (ByteString, ByteString)

takeWhile :: (Word8 -> Bool) -> ByteString -> ByteString

dropWhile :: (Word8 -> Bool) -> ByteString -> ByteString

dropWhileEnd :: (Word8 -> Bool) -> ByteString -> ByteString

span :: (Word8 -> Bool) -> ByteString -> (ByteString, ByteString)

break :: (Word8 -> Bool) -> ByteString -> (ByteString, ByteString)

group :: (ListLike full' ByteString, Eq Word8) => ByteString -> full'

inits :: ListLike full' ByteString => ByteString -> full'

tails :: ListLike full' ByteString => ByteString -> full'

isPrefixOf :: ByteString -> ByteString -> Bool

isSuffixOf :: ByteString -> ByteString -> Bool

isInfixOf :: ByteString -> ByteString -> Bool

stripPrefix :: ByteString -> ByteString -> Maybe ByteString

stripSuffix :: ByteString -> ByteString -> Maybe ByteString

elem :: Word8 -> ByteString -> Bool

notElem :: Word8 -> ByteString -> Bool

find :: (Word8 -> Bool) -> ByteString -> Maybe Word8

filter :: (Word8 -> Bool) -> ByteString -> ByteString

partition :: (Word8 -> Bool) -> ByteString -> (ByteString, ByteString)

index :: ByteString -> Int -> Word8

elemIndex :: Word8 -> ByteString -> Maybe Int

elemIndices :: (Eq Word8, ListLike result Int) => Word8 -> ByteString -> result

findIndex :: (Word8 -> Bool) -> ByteString -> Maybe Int

findIndices :: ListLike result Int => (Word8 -> Bool) -> ByteString -> result

sequence :: (Applicative m, ListLike fullinp (m Word8)) => fullinp -> m ByteString

mapM :: (Applicative m, ListLike full' item') => (Word8 -> m item') -> ByteString -> m full'

rigidMapM :: Monad m => (Word8 -> m Word8) -> ByteString -> m ByteString

nub :: ByteString -> ByteString

delete :: Word8 -> ByteString -> ByteString

deleteFirsts :: ByteString -> ByteString -> ByteString

union :: ByteString -> ByteString -> ByteString

intersect :: ByteString -> ByteString -> ByteString

sort :: ByteString -> ByteString

insert :: Word8 -> ByteString -> ByteString

toList' :: ByteString -> [Word8]

fromList' :: [Word8] -> ByteString

fromListLike :: ListLike full' Word8 => ByteString -> full'

nubBy :: (Word8 -> Word8 -> Bool) -> ByteString -> ByteString

deleteBy :: (Word8 -> Word8 -> Bool) -> Word8 -> ByteString -> ByteString

deleteFirstsBy :: (Word8 -> Word8 -> Bool) -> ByteString -> ByteString -> ByteString

unionBy :: (Word8 -> Word8 -> Bool) -> ByteString -> ByteString -> ByteString

intersectBy :: (Word8 -> Word8 -> Bool) -> ByteString -> ByteString -> ByteString

groupBy :: (ListLike full' ByteString, Eq Word8) => (Word8 -> Word8 -> Bool) -> ByteString -> full'

sortBy :: (Word8 -> Word8 -> Ordering) -> ByteString -> ByteString

insertBy :: (Word8 -> Word8 -> Ordering) -> Word8 -> ByteString -> ByteString

genericLength :: Num a => ByteString -> a

genericTake :: Integral a => a -> ByteString -> ByteString

genericDrop :: Integral a => a -> ByteString -> ByteString

genericSplitAt :: Integral a => a -> ByteString -> (ByteString, ByteString)

genericReplicate :: Integral a => a -> Word8 -> ByteString

ListLike ByteString Word8 
Instance details

Defined in Data.ListLike.Instances

Methods

empty :: ByteString

singleton :: Word8 -> ByteString

cons :: Word8 -> ByteString -> ByteString

snoc :: ByteString -> Word8 -> ByteString

append :: ByteString -> ByteString -> ByteString

head :: ByteString -> Word8

uncons :: ByteString -> Maybe (Word8, ByteString)

last :: ByteString -> Word8

tail :: ByteString -> ByteString

init :: ByteString -> ByteString

null :: ByteString -> Bool

length :: ByteString -> Int

map :: ListLike full' item' => (Word8 -> item') -> ByteString -> full'

rigidMap :: (Word8 -> Word8) -> ByteString -> ByteString

reverse :: ByteString -> ByteString

intersperse :: Word8 -> ByteString -> ByteString

concat :: ListLike full' ByteString => full' -> ByteString

concatMap :: ListLike full' item' => (Word8 -> full') -> ByteString -> full'

rigidConcatMap :: (Word8 -> ByteString) -> ByteString -> ByteString

any :: (Word8 -> Bool) -> ByteString -> Bool

all :: (Word8 -> Bool) -> ByteString -> Bool

maximum :: ByteString -> Word8

minimum :: ByteString -> Word8

replicate :: Int -> Word8 -> ByteString

take :: Int -> ByteString -> ByteString

drop :: Int -> ByteString -> ByteString

splitAt :: Int -> ByteString -> (ByteString, ByteString)

takeWhile :: (Word8 -> Bool) -> ByteString -> ByteString

dropWhile :: (Word8 -> Bool) -> ByteString -> ByteString

dropWhileEnd :: (Word8 -> Bool) -> ByteString -> ByteString

span :: (Word8 -> Bool) -> ByteString -> (ByteString, ByteString)

break :: (Word8 -> Bool) -> ByteString -> (ByteString, ByteString)

group :: (ListLike full' ByteString, Eq Word8) => ByteString -> full'

inits :: ListLike full' ByteString => ByteString -> full'

tails :: ListLike full' ByteString => ByteString -> full'

isPrefixOf :: ByteString -> ByteString -> Bool

isSuffixOf :: ByteString -> ByteString -> Bool

isInfixOf :: ByteString -> ByteString -> Bool

stripPrefix :: ByteString -> ByteString -> Maybe ByteString

stripSuffix :: ByteString -> ByteString -> Maybe ByteString

elem :: Word8 -> ByteString -> Bool

notElem :: Word8 -> ByteString -> Bool

find :: (Word8 -> Bool) -> ByteString -> Maybe Word8

filter :: (Word8 -> Bool) -> ByteString -> ByteString

partition :: (Word8 -> Bool) -> ByteString -> (ByteString, ByteString)

index :: ByteString -> Int -> Word8

elemIndex :: Word8 -> ByteString -> Maybe Int

elemIndices :: (Eq Word8, ListLike result Int) => Word8 -> ByteString -> result

findIndex :: (Word8 -> Bool) -> ByteString -> Maybe Int

findIndices :: ListLike result Int => (Word8 -> Bool) -> ByteString -> result

sequence :: (Applicative m, ListLike fullinp (m Word8)) => fullinp -> m ByteString

mapM :: (Applicative m, ListLike full' item') => (Word8 -> m item') -> ByteString -> m full'

rigidMapM :: Monad m => (Word8 -> m Word8) -> ByteString -> m ByteString

nub :: ByteString -> ByteString

delete :: Word8 -> ByteString -> ByteString

deleteFirsts :: ByteString -> ByteString -> ByteString

union :: ByteString -> ByteString -> ByteString

intersect :: ByteString -> ByteString -> ByteString

sort :: ByteString -> ByteString

insert :: Word8 -> ByteString -> ByteString

toList' :: ByteString -> [Word8]

fromList' :: [Word8] -> ByteString

fromListLike :: ListLike full' Word8 => ByteString -> full'

nubBy :: (Word8 -> Word8 -> Bool) -> ByteString -> ByteString

deleteBy :: (Word8 -> Word8 -> Bool) -> Word8 -> ByteString -> ByteString

deleteFirstsBy :: (Word8 -> Word8 -> Bool) -> ByteString -> ByteString -> ByteString

unionBy :: (Word8 -> Word8 -> Bool) -> ByteString -> ByteString -> ByteString

intersectBy :: (Word8 -> Word8 -> Bool) -> ByteString -> ByteString -> ByteString

groupBy :: (ListLike full' ByteString, Eq Word8) => (Word8 -> Word8 -> Bool) -> ByteString -> full'

sortBy :: (Word8 -> Word8 -> Ordering) -> ByteString -> ByteString

insertBy :: (Word8 -> Word8 -> Ordering) -> Word8 -> ByteString -> ByteString

genericLength :: Num a => ByteString -> a

genericTake :: Integral a => a -> ByteString -> ByteString

genericDrop :: Integral a => a -> ByteString -> ByteString

genericSplitAt :: Integral a => a -> ByteString -> (ByteString, ByteString)

genericReplicate :: Integral a => a -> Word8 -> ByteString

FoldableLL ByteString Word8 
Instance details

Defined in Data.ListLike.Instances

Methods

foldl :: (a -> Word8 -> a) -> a -> ByteString -> a

foldl' :: (a -> Word8 -> a) -> a -> ByteString -> a

foldl1 :: (Word8 -> Word8 -> Word8) -> ByteString -> Word8

foldr :: (Word8 -> b -> b) -> b -> ByteString -> b

foldr' :: (Word8 -> b -> b) -> b -> ByteString -> b

foldr1 :: (Word8 -> Word8 -> Word8) -> ByteString -> Word8

FoldableLL ByteString Word8 
Instance details

Defined in Data.ListLike.Instances

Methods

foldl :: (a -> Word8 -> a) -> a -> ByteString -> a

foldl' :: (a -> Word8 -> a) -> a -> ByteString -> a

foldl1 :: (Word8 -> Word8 -> Word8) -> ByteString -> Word8

foldr :: (Word8 -> b -> b) -> b -> ByteString -> b

foldr' :: (Word8 -> b -> b) -> b -> ByteString -> b

foldr1 :: (Word8 -> Word8 -> Word8) -> ByteString -> Word8

ListLikeIO ByteString Word8 
Instance details

Defined in Data.ListLike.Instances

Methods

hGetLine :: Handle -> IO ByteString

hGetContents :: Handle -> IO ByteString

hGet :: Handle -> Int -> IO ByteString

hGetNonBlocking :: Handle -> Int -> IO ByteString

hPutStr :: Handle -> ByteString -> IO ()

hPutStrLn :: Handle -> ByteString -> IO ()

getLine :: IO ByteString

getContents :: IO ByteString

putStr :: ByteString -> IO ()

putStrLn :: ByteString -> IO ()

interact :: (ByteString -> ByteString) -> IO ()

readFile :: FilePath -> IO ByteString

writeFile :: FilePath -> ByteString -> IO ()

appendFile :: FilePath -> ByteString -> IO ()

ListLikeIO ByteString Word8 
Instance details

Defined in Data.ListLike.Instances

Methods

hGetLine :: Handle -> IO ByteString

hGetContents :: Handle -> IO ByteString

hGet :: Handle -> Int -> IO ByteString

hGetNonBlocking :: Handle -> Int -> IO ByteString

hPutStr :: Handle -> ByteString -> IO ()

hPutStrLn :: Handle -> ByteString -> IO ()

getLine :: IO ByteString

getContents :: IO ByteString

putStr :: ByteString -> IO ()

putStrLn :: ByteString -> IO ()

interact :: (ByteString -> ByteString) -> IO ()

readFile :: FilePath -> IO ByteString

writeFile :: FilePath -> ByteString -> IO ()

appendFile :: FilePath -> ByteString -> IO ()

IArray UArray Word8 
Instance details

Defined in Data.Array.Base

Methods

bounds :: Ix i => UArray i Word8 -> (i, i)

numElements :: Ix i => UArray i Word8 -> Int

unsafeArray :: Ix i => (i, i) -> [(Int, Word8)] -> UArray i Word8

unsafeAt :: Ix i => UArray i Word8 -> Int -> Word8

unsafeReplace :: Ix i => UArray i Word8 -> [(Int, Word8)] -> UArray i Word8

unsafeAccum :: Ix i => (Word8 -> e' -> Word8) -> UArray i Word8 -> [(Int, e')] -> UArray i Word8

unsafeAccumArray :: Ix i => (Word8 -> e' -> Word8) -> Word8 -> (i, i) -> [(Int, e')] -> UArray i Word8

ListLikeProcessIO ByteString Word8

Like readProcessWithExitCode, but using ByteString

Instance details

Defined in System.Process.ByteString

Methods

forceOutput :: ByteString -> IO ByteString Source #

readChunks :: Handle -> IO [ByteString] Source #

ProcessText ByteString Word8 
Instance details

Defined in System.Process.ByteString

Lift Word8 
Instance details

Defined in Language.Haskell.TH.Syntax

Methods

lift :: Quote m => Word8 -> m Exp

liftTyped :: forall (m :: Type -> Type). Quote m => Word8 -> Code m Word8

Vector Vector Word8 
Instance details

Defined in Data.Vector.Unboxed.Base

Methods

basicUnsafeFreeze :: Mutable Vector s Word8 -> ST s (Vector Word8)

basicUnsafeThaw :: Vector Word8 -> ST s (Mutable Vector s Word8)

basicLength :: Vector Word8 -> Int

basicUnsafeSlice :: Int -> Int -> Vector Word8 -> Vector Word8

basicUnsafeIndexM :: Vector Word8 -> Int -> Box Word8

basicUnsafeCopy :: Mutable Vector s Word8 -> Vector Word8 -> ST s ()

elemseq :: Vector Word8 -> Word8 -> b -> b

MVector MVector Word8 
Instance details

Defined in Data.Vector.Unboxed.Base

Methods

basicLength :: MVector s Word8 -> Int

basicUnsafeSlice :: Int -> Int -> MVector s Word8 -> MVector s Word8

basicOverlaps :: MVector s Word8 -> MVector s Word8 -> Bool

basicUnsafeNew :: Int -> ST s (MVector s Word8)

basicInitialize :: MVector s Word8 -> ST s ()

basicUnsafeReplicate :: Int -> Word8 -> ST s (MVector s Word8)

basicUnsafeRead :: MVector s Word8 -> Int -> ST s Word8

basicUnsafeWrite :: MVector s Word8 -> Int -> Word8 -> ST s ()

basicClear :: MVector s Word8 -> ST s ()

basicSet :: MVector s Word8 -> Word8 -> ST s ()

basicUnsafeCopy :: MVector s Word8 -> MVector s Word8 -> ST s ()

basicUnsafeMove :: MVector s Word8 -> MVector s Word8 -> ST s ()

basicUnsafeGrow :: MVector s Word8 -> Int -> ST s (MVector s Word8)

MArray IOUArray Word8 IO 
Instance details

Defined in Data.Array.IO.Internals

Methods

getBounds :: Ix i => IOUArray i Word8 -> IO (i, i)

getNumElements :: Ix i => IOUArray i Word8 -> IO Int

newArray :: Ix i => (i, i) -> Word8 -> IO (IOUArray i Word8)

newArray_ :: Ix i => (i, i) -> IO (IOUArray i Word8)

unsafeNewArray_ :: Ix i => (i, i) -> IO (IOUArray i Word8)

unsafeRead :: Ix i => IOUArray i Word8 -> Int -> IO Word8

unsafeWrite :: Ix i => IOUArray i Word8 -> Int -> Word8 -> IO ()

(MonadIO m, MonadState (RunState ByteString) m) => RunM ByteString Word8 m 
Instance details

Defined in System.Process.Run

(MonadIO m, MonadState (RunState ByteString) m) => RunM ByteString Word8 m 
Instance details

Defined in System.Process.Run

Cons ByteString ByteString Word8 Word8 
Instance details

Defined in Control.Lens.Cons

Methods

_Cons :: Prism ByteString ByteString (Word8, ByteString) (Word8, ByteString) Source #

Cons ByteString ByteString Word8 Word8 
Instance details

Defined in Control.Lens.Cons

Methods

_Cons :: Prism ByteString ByteString (Word8, ByteString) (Word8, ByteString) Source #

Snoc ByteString ByteString Word8 Word8 
Instance details

Defined in Control.Lens.Cons

Methods

_Snoc :: Prism ByteString ByteString (ByteString, Word8) (ByteString, Word8) Source #

Snoc ByteString ByteString Word8 Word8 
Instance details

Defined in Control.Lens.Cons

Methods

_Snoc :: Prism ByteString ByteString (ByteString, Word8) (ByteString, Word8) Source #

MArray (STUArray s) Word8 (ST s) 
Instance details

Defined in Data.Array.Base

Methods

getBounds :: Ix i => STUArray s i Word8 -> ST s (i, i)

getNumElements :: Ix i => STUArray s i Word8 -> ST s Int

newArray :: Ix i => (i, i) -> Word8 -> ST s (STUArray s i Word8)

newArray_ :: Ix i => (i, i) -> ST s (STUArray s i Word8)

unsafeNewArray_ :: Ix i => (i, i) -> ST s (STUArray s i Word8)

unsafeRead :: Ix i => STUArray s i Word8 -> Int -> ST s Word8

unsafeWrite :: Ix i => STUArray s i Word8 -> Int -> Word8 -> ST s ()

type Unsigned Word8 
Instance details

Defined in System.Random.MWC

type Unsigned Word8 = Word8
newtype Vector Word8 
Instance details

Defined in Data.Vector.Unboxed.Base

newtype Vector Word8 = V_Word8 (Vector Word8)
type ByteSink Word8 g 
Instance details

Defined in Data.UUID.Types.Internal.Builder

type ByteSink Word8 g = Takes1Byte g
newtype MVector s Word8 
Instance details

Defined in Data.Vector.Unboxed.Base

newtype MVector s Word8 = MV_Word8 (MVector s Word8)

data Word16 #

Instances

Instances details
FromJSON Word16 
Instance details

Defined in Data.Aeson.Types.FromJSON

FromJSONKey Word16 
Instance details

Defined in Data.Aeson.Types.FromJSON

ToJSON Word16 
Instance details

Defined in Data.Aeson.Types.ToJSON

ToJSONKey Word16 
Instance details

Defined in Data.Aeson.Types.ToJSON

PrintfArg Word16 
Instance details

Defined in Text.Printf

Methods

formatArg :: Word16 -> FieldFormatter

parseFormat :: Word16 -> ModifierParser

Binary Word16 
Instance details

Defined in Data.Binary.Class

Methods

put :: Word16 -> Put

get :: Get Word16

putList :: [Word16] -> Put

NFData Word16 
Instance details

Defined in Control.DeepSeq

Methods

rnf :: Word16 -> ()

IsValue Word16 Source # 
Instance details

Defined in Futhark.IR.Prop.Constants

IsPrimValue Word16 Source # 
Instance details

Defined in Language.Futhark.Syntax

GetValue Word16 
Instance details

Defined in Futhark.Data

Methods

getValue :: Value -> Maybe Word16 Source #

PutValue Word16 
Instance details

Defined in Futhark.Data

Methods

putValue :: Word16 -> Maybe Value Source #

PutValue1 Word16 
Instance details

Defined in Futhark.Data

Bits Word16 
Instance details

Defined in GHC.Internal.Word

FiniteBits Word16 
Instance details

Defined in GHC.Internal.Word

Bounded Word16 
Instance details

Defined in GHC.Internal.Word

Enum Word16 
Instance details

Defined in GHC.Internal.Word

Storable Word16 
Instance details

Defined in GHC.Internal.Foreign.Storable

Methods

sizeOf :: Word16 -> Int

alignment :: Word16 -> Int

peekElemOff :: Ptr Word16 -> Int -> IO Word16

pokeElemOff :: Ptr Word16 -> Int -> Word16 -> IO ()

peekByteOff :: Ptr b -> Int -> IO Word16

pokeByteOff :: Ptr b -> Int -> Word16 -> IO ()

peek :: Ptr Word16 -> IO Word16

poke :: Ptr Word16 -> Word16 -> IO ()

Ix Word16 
Instance details

Defined in GHC.Internal.Word

Num Word16 
Instance details

Defined in GHC.Internal.Word

Read Word16 
Instance details

Defined in GHC.Internal.Read

Methods

readsPrec :: Int -> ReadS Word16

readList :: ReadS [Word16]

readPrec :: ReadPrec Word16

readListPrec :: ReadPrec [Word16]

Integral Word16 
Instance details

Defined in GHC.Internal.Word

Real Word16 
Instance details

Defined in GHC.Internal.Word

Methods

toRational :: Word16 -> Rational

Show Word16 
Instance details

Defined in GHC.Internal.Word

Methods

showsPrec :: Int -> Word16 -> ShowS

show :: Word16 -> String

showList :: [Word16] -> ShowS

Eq Word16 
Instance details

Defined in GHC.Internal.Word

Methods

(==) :: Word16 -> Word16 -> Bool

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

Ord Word16 
Instance details

Defined in GHC.Internal.Word

Methods

compare :: Word16 -> Word16 -> Ordering

(<) :: Word16 -> Word16 -> Bool

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

(>) :: Word16 -> Word16 -> Bool

(>=) :: Word16 -> Word16 -> Bool

max :: Word16 -> Word16 -> Word16

min :: Word16 -> Word16 -> Word16

Hashable Word16 
Instance details

Defined in Data.Hashable.Class

Methods

hashWithSalt :: Int -> Word16 -> Int

hash :: Word16 -> Int

ToConst Word16 
Instance details

Defined in Language.C.Quote.Base

Methods

toConst :: Word16 -> SrcLoc -> Const Source #

ToExp Word16 
Instance details

Defined in Language.C.Quote.Base

Methods

toExp :: Word16 -> SrcLoc -> Exp Source #

Pretty Word16 
Instance details

Defined in Text.PrettyPrint.Mainland.Class

Variate Word16 
Instance details

Defined in System.Random.MWC

Methods

uniform :: PrimMonad m => Gen (PrimState m) -> m Word16 Source #

uniformR :: PrimMonad m => (Word16, Word16) -> Gen (PrimState m) -> m Word16 Source #

Pretty Word16 
Instance details

Defined in Prettyprinter.Internal

Methods

pretty :: Word16 -> Doc ann Source #

prettyList :: [Word16] -> Doc ann Source #

Prim Word16 
Instance details

Defined in Data.Primitive.Types

Methods

sizeOfType# :: Proxy Word16 -> Int#

sizeOf# :: Word16 -> Int#

alignmentOfType# :: Proxy Word16 -> Int#

alignment# :: Word16 -> Int#

indexByteArray# :: ByteArray# -> Int# -> Word16

readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, Word16 #)

writeByteArray# :: MutableByteArray# s -> Int# -> Word16 -> State# s -> State# s

setByteArray# :: MutableByteArray# s -> Int# -> Int# -> Word16 -> State# s -> State# s

indexOffAddr# :: Addr# -> Int# -> Word16

readOffAddr# :: Addr# -> Int# -> State# s -> (# State# s, Word16 #)

writeOffAddr# :: Addr# -> Int# -> Word16 -> State# s -> State# s

setOffAddr# :: Addr# -> Int# -> Int# -> Word16 -> State# s -> State# s

Random Word16 
Instance details

Defined in System.Random

Methods

randomR :: RandomGen g => (Word16, Word16) -> g -> (Word16, g) Source #

random :: RandomGen g => g -> (Word16, g) Source #

randomRs :: RandomGen g => (Word16, Word16) -> g -> [Word16] Source #

randoms :: RandomGen g => g -> [Word16] Source #

Uniform Word16 
Instance details

Defined in System.Random.Internal

Methods

uniformM :: StatefulGen g m => g -> m Word16 Source #

UniformRange Word16 
Instance details

Defined in System.Random.Internal

Methods

uniformRM :: StatefulGen g m => (Word16, Word16) -> g -> m Word16 Source #

ByteSource Word16 
Instance details

Defined in Data.UUID.Types.Internal.Builder

Methods

(/-/) :: ByteSink Word16 g -> Word16 -> g

Unbox Word16 
Instance details

Defined in Data.Vector.Unboxed.Base

IArray UArray Word16 
Instance details

Defined in Data.Array.Base

Methods

bounds :: Ix i => UArray i Word16 -> (i, i)

numElements :: Ix i => UArray i Word16 -> Int

unsafeArray :: Ix i => (i, i) -> [(Int, Word16)] -> UArray i Word16

unsafeAt :: Ix i => UArray i Word16 -> Int -> Word16

unsafeReplace :: Ix i => UArray i Word16 -> [(Int, Word16)] -> UArray i Word16

unsafeAccum :: Ix i => (Word16 -> e' -> Word16) -> UArray i Word16 -> [(Int, e')] -> UArray i Word16

unsafeAccumArray :: Ix i => (Word16 -> e' -> Word16) -> Word16 -> (i, i) -> [(Int, e')] -> UArray i Word16

Lift Word16 
Instance details

Defined in Language.Haskell.TH.Syntax

Methods

lift :: Quote m => Word16 -> m Exp

liftTyped :: forall (m :: Type -> Type). Quote m => Word16 -> Code m Word16

Vector Vector Word16 
Instance details

Defined in Data.Vector.Unboxed.Base

Methods

basicUnsafeFreeze :: Mutable Vector s Word16 -> ST s (Vector Word16)

basicUnsafeThaw :: Vector Word16 -> ST s (Mutable Vector s Word16)

basicLength :: Vector Word16 -> Int

basicUnsafeSlice :: Int -> Int -> Vector Word16 -> Vector Word16

basicUnsafeIndexM :: Vector Word16 -> Int -> Box Word16

basicUnsafeCopy :: Mutable Vector s Word16 -> Vector Word16 -> ST s ()

elemseq :: Vector Word16 -> Word16 -> b -> b

MVector MVector Word16 
Instance details

Defined in Data.Vector.Unboxed.Base

Methods

basicLength :: MVector s Word16 -> Int

basicUnsafeSlice :: Int -> Int -> MVector s Word16 -> MVector s Word16

basicOverlaps :: MVector s Word16 -> MVector s Word16 -> Bool

basicUnsafeNew :: Int -> ST s (MVector s Word16)

basicInitialize :: MVector s Word16 -> ST s ()

basicUnsafeReplicate :: Int -> Word16 -> ST s (MVector s Word16)

basicUnsafeRead :: MVector s Word16 -> Int -> ST s Word16

basicUnsafeWrite :: MVector s Word16 -> Int -> Word16 -> ST s ()

basicClear :: MVector s Word16 -> ST s ()

basicSet :: MVector s Word16 -> Word16 -> ST s ()

basicUnsafeCopy :: MVector s Word16 -> MVector s Word16 -> ST s ()

basicUnsafeMove :: MVector s Word16 -> MVector s Word16 -> ST s ()

basicUnsafeGrow :: MVector s Word16 -> Int -> ST s (MVector s Word16)

MArray IOUArray Word16 IO 
Instance details

Defined in Data.Array.IO.Internals

Methods

getBounds :: Ix i => IOUArray i Word16 -> IO (i, i)

getNumElements :: Ix i => IOUArray i Word16 -> IO Int

newArray :: Ix i => (i, i) -> Word16 -> IO (IOUArray i Word16)

newArray_ :: Ix i => (i, i) -> IO (IOUArray i Word16)

unsafeNewArray_ :: Ix i => (i, i) -> IO (IOUArray i Word16)

unsafeRead :: Ix i => IOUArray i Word16 -> Int -> IO Word16

unsafeWrite :: Ix i => IOUArray i Word16 -> Int -> Word16 -> IO ()

MArray (STUArray s) Word16 (ST s) 
Instance details

Defined in Data.Array.Base

Methods

getBounds :: Ix i => STUArray s i Word16 -> ST s (i, i)

getNumElements :: Ix i => STUArray s i Word16 -> ST s Int

newArray :: Ix i => (i, i) -> Word16 -> ST s (STUArray s i Word16)

newArray_ :: Ix i => (i, i) -> ST s (STUArray s i Word16)

unsafeNewArray_ :: Ix i => (i, i) -> ST s (STUArray s i Word16)

unsafeRead :: Ix i => STUArray s i Word16 -> Int -> ST s Word16

unsafeWrite :: Ix i => STUArray s i Word16 -> Int -> Word16 -> ST s ()

type Unsigned Word16 
Instance details

Defined in System.Random.MWC

type Unsigned Word16 = Word16
newtype Vector Word16 
Instance details

Defined in Data.Vector.Unboxed.Base

newtype Vector Word16 = V_Word16 (Vector Word16)
type ByteSink Word16 g 
Instance details

Defined in Data.UUID.Types.Internal.Builder

type ByteSink Word16 g = Takes2Bytes g
newtype MVector s Word16 
Instance details

Defined in Data.Vector.Unboxed.Base

newtype MVector s Word16 = MV_Word16 (MVector s Word16)

data Word32 #

Instances

Instances details
FromJSON Word32 
Instance details

Defined in Data.Aeson.Types.FromJSON

FromJSONKey Word32 
Instance details

Defined in Data.Aeson.Types.FromJSON

ToJSON Word32 
Instance details

Defined in Data.Aeson.Types.ToJSON

ToJSONKey Word32 
Instance details

Defined in Data.Aeson.Types.ToJSON

PrintfArg Word32 
Instance details

Defined in Text.Printf

Methods

formatArg :: Word32 -> FieldFormatter

parseFormat :: Word32 -> ModifierParser

Binary Word32 
Instance details

Defined in Data.Binary.Class

Methods

put :: Word32 -> Put

get :: Get Word32

putList :: [Word32] -> Put

ToMarkup Word32 
Instance details

Defined in Text.Blaze

Methods

toMarkup :: Word32 -> Markup

preEscapedToMarkup :: Word32 -> Markup

ToValue Word32 
Instance details

Defined in Text.Blaze

Methods

toValue :: Word32 -> AttributeValue

preEscapedToValue :: Word32 -> AttributeValue

NFData Word32 
Instance details

Defined in Control.DeepSeq

Methods

rnf :: Word32 -> ()

IsValue Word32 Source # 
Instance details

Defined in Futhark.IR.Prop.Constants

IsPrimValue Word32 Source # 
Instance details

Defined in Language.Futhark.Syntax

GetValue Word32 
Instance details

Defined in Futhark.Data

Methods

getValue :: Value -> Maybe Word32 Source #

PutValue Word32 
Instance details

Defined in Futhark.Data

Methods

putValue :: Word32 -> Maybe Value Source #

PutValue1 Word32 
Instance details

Defined in Futhark.Data

Bits Word32 
Instance details

Defined in GHC.Internal.Word

FiniteBits Word32 
Instance details

Defined in GHC.Internal.Word

Bounded Word32 
Instance details

Defined in GHC.Internal.Word

Enum Word32 
Instance details

Defined in GHC.Internal.Word

Storable Word32 
Instance details

Defined in GHC.Internal.Foreign.Storable

Methods

sizeOf :: Word32 -> Int

alignment :: Word32 -> Int

peekElemOff :: Ptr Word32 -> Int -> IO Word32

pokeElemOff :: Ptr Word32 -> Int -> Word32 -> IO ()

peekByteOff :: Ptr b -> Int -> IO Word32

pokeByteOff :: Ptr b -> Int -> Word32 -> IO ()

peek :: Ptr Word32 -> IO Word32

poke :: Ptr Word32 -> Word32 -> IO ()

Ix Word32 
Instance details

Defined in GHC.Internal.Word

Num Word32 
Instance details

Defined in GHC.Internal.Word

Read Word32 
Instance details

Defined in GHC.Internal.Read

Methods

readsPrec :: Int -> ReadS Word32

readList :: ReadS [Word32]

readPrec :: ReadPrec Word32

readListPrec :: ReadPrec [Word32]

Integral Word32 
Instance details

Defined in GHC.Internal.Word

Real Word32 
Instance details

Defined in GHC.Internal.Word

Methods

toRational :: Word32 -> Rational

Show Word32 
Instance details

Defined in GHC.Internal.Word

Methods

showsPrec :: Int -> Word32 -> ShowS

show :: Word32 -> String

showList :: [Word32] -> ShowS

Eq Word32 
Instance details

Defined in GHC.Internal.Word

Methods

(==) :: Word32 -> Word32 -> Bool

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

Ord Word32 
Instance details

Defined in GHC.Internal.Word

Methods

compare :: Word32 -> Word32 -> Ordering

(<) :: Word32 -> Word32 -> Bool

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

(>) :: Word32 -> Word32 -> Bool

(>=) :: Word32 -> Word32 -> Bool

max :: Word32 -> Word32 -> Word32

min :: Word32 -> Word32 -> Word32

Hashable Word32 
Instance details

Defined in Data.Hashable.Class

Methods

hashWithSalt :: Int -> Word32 -> Int

hash :: Word32 -> Int

ToConst Word32 
Instance details

Defined in Language.C.Quote.Base

Methods

toConst :: Word32 -> SrcLoc -> Const Source #

ToExp Word32 
Instance details

Defined in Language.C.Quote.Base

Methods

toExp :: Word32 -> SrcLoc -> Exp Source #

Pretty Word32 
Instance details

Defined in Text.PrettyPrint.Mainland.Class

Variate Word32 
Instance details

Defined in System.Random.MWC

Methods

uniform :: PrimMonad m => Gen (PrimState m) -> m Word32 Source #

uniformR :: PrimMonad m => (Word32, Word32) -> Gen (PrimState m) -> m Word32 Source #

Pretty Word32 
Instance details

Defined in Prettyprinter.Internal

Methods

pretty :: Word32 -> Doc ann Source #

prettyList :: [Word32] -> Doc ann Source #

Prim Word32 
Instance details

Defined in Data.Primitive.Types

Methods

sizeOfType# :: Proxy Word32 -> Int#

sizeOf# :: Word32 -> Int#

alignmentOfType# :: Proxy Word32 -> Int#

alignment# :: Word32 -> Int#

indexByteArray# :: ByteArray# -> Int# -> Word32

readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, Word32 #)

writeByteArray# :: MutableByteArray# s -> Int# -> Word32 -> State# s -> State# s

setByteArray# :: MutableByteArray# s -> Int# -> Int# -> Word32 -> State# s -> State# s

indexOffAddr# :: Addr# -> Int# -> Word32

readOffAddr# :: Addr# -> Int# -> State# s -> (# State# s, Word32 #)

writeOffAddr# :: Addr# -> Int# -> Word32 -> State# s -> State# s

setOffAddr# :: Addr# -> Int# -> Int# -> Word32 -> State# s -> State# s

Random Word32 
Instance details

Defined in System.Random

Methods

randomR :: RandomGen g => (Word32, Word32) -> g -> (Word32, g) Source #

random :: RandomGen g => g -> (Word32, g) Source #

randomRs :: RandomGen g => (Word32, Word32) -> g -> [Word32] Source #

randoms :: RandomGen g => g -> [Word32] Source #

Uniform Word32 
Instance details

Defined in System.Random.Internal

Methods

uniformM :: StatefulGen g m => g -> m Word32 Source #

UniformRange Word32 
Instance details

Defined in System.Random.Internal

Methods

uniformRM :: StatefulGen g m => (Word32, Word32) -> g -> m Word32 Source #

ByteSource Word32 
Instance details

Defined in Data.UUID.Types.Internal.Builder

Methods

(/-/) :: ByteSink Word32 g -> Word32 -> g

Unbox Word32 
Instance details

Defined in Data.Vector.Unboxed.Base

IArray UArray Word32 
Instance details

Defined in Data.Array.Base

Methods

bounds :: Ix i => UArray i Word32 -> (i, i)

numElements :: Ix i => UArray i Word32 -> Int

unsafeArray :: Ix i => (i, i) -> [(Int, Word32)] -> UArray i Word32

unsafeAt :: Ix i => UArray i Word32 -> Int -> Word32

unsafeReplace :: Ix i => UArray i Word32 -> [(Int, Word32)] -> UArray i Word32

unsafeAccum :: Ix i => (Word32 -> e' -> Word32) -> UArray i Word32 -> [(Int, e')] -> UArray i Word32

unsafeAccumArray :: Ix i => (Word32 -> e' -> Word32) -> Word32 -> (i, i) -> [(Int, e')] -> UArray i Word32

Lift Word32 
Instance details

Defined in Language.Haskell.TH.Syntax

Methods

lift :: Quote m => Word32 -> m Exp

liftTyped :: forall (m :: Type -> Type). Quote m => Word32 -> Code m Word32

Vector Vector Word32 
Instance details

Defined in Data.Vector.Unboxed.Base

Methods

basicUnsafeFreeze :: Mutable Vector s Word32 -> ST s (Vector Word32)

basicUnsafeThaw :: Vector Word32 -> ST s (Mutable Vector s Word32)

basicLength :: Vector Word32 -> Int

basicUnsafeSlice :: Int -> Int -> Vector Word32 -> Vector Word32

basicUnsafeIndexM :: Vector Word32 -> Int -> Box Word32

basicUnsafeCopy :: Mutable Vector s Word32 -> Vector Word32 -> ST s ()

elemseq :: Vector Word32 -> Word32 -> b -> b

MVector MVector Word32 
Instance details

Defined in Data.Vector.Unboxed.Base

Methods

basicLength :: MVector s Word32 -> Int

basicUnsafeSlice :: Int -> Int -> MVector s Word32 -> MVector s Word32

basicOverlaps :: MVector s Word32 -> MVector s Word32 -> Bool

basicUnsafeNew :: Int -> ST s (MVector s Word32)

basicInitialize :: MVector s Word32 -> ST s ()

basicUnsafeReplicate :: Int -> Word32 -> ST s (MVector s Word32)

basicUnsafeRead :: MVector s Word32 -> Int -> ST s Word32

basicUnsafeWrite :: MVector s Word32 -> Int -> Word32 -> ST s ()

basicClear :: MVector s Word32 -> ST s ()

basicSet :: MVector s Word32 -> Word32 -> ST s ()

basicUnsafeCopy :: MVector s Word32 -> MVector s Word32 -> ST s ()

basicUnsafeMove :: MVector s Word32 -> MVector s Word32 -> ST s ()

basicUnsafeGrow :: MVector s Word32 -> Int -> ST s (MVector s Word32)

MArray IOUArray Word32 IO 
Instance details

Defined in Data.Array.IO.Internals

Methods

getBounds :: Ix i => IOUArray i Word32 -> IO (i, i)

getNumElements :: Ix i => IOUArray i Word32 -> IO Int

newArray :: Ix i => (i, i) -> Word32 -> IO (IOUArray i Word32)

newArray_ :: Ix i => (i, i) -> IO (IOUArray i Word32)

unsafeNewArray_ :: Ix i => (i, i) -> IO (IOUArray i Word32)

unsafeRead :: Ix i => IOUArray i Word32 -> Int -> IO Word32

unsafeWrite :: Ix i => IOUArray i Word32 -> Int -> Word32 -> IO ()

MArray (STUArray s) Word32 (ST s) 
Instance details

Defined in Data.Array.Base

Methods

getBounds :: Ix i => STUArray s i Word32 -> ST s (i, i)

getNumElements :: Ix i => STUArray s i Word32 -> ST s Int

newArray :: Ix i => (i, i) -> Word32 -> ST s (STUArray s i Word32)

newArray_ :: Ix i => (i, i) -> ST s (STUArray s i Word32)

unsafeNewArray_ :: Ix i => (i, i) -> ST s (STUArray s i Word32)

unsafeRead :: Ix i => STUArray s i Word32 -> Int -> ST s Word32

unsafeWrite :: Ix i => STUArray s i Word32 -> Int -> Word32 -> ST s ()

type Unsigned Word32 
Instance details

Defined in System.Random.MWC

type Unsigned Word32 = Word32
newtype Vector Word32 
Instance details

Defined in Data.Vector.Unboxed.Base

newtype Vector Word32 = V_Word32 (Vector Word32)
type ByteSink Word32 g 
Instance details

Defined in Data.UUID.Types.Internal.Builder

type ByteSink Word32 g = Takes4Bytes g
newtype MVector s Word32 
Instance details

Defined in Data.Vector.Unboxed.Base

newtype MVector s Word32 = MV_Word32 (MVector s Word32)

data Word64 #

Instances

Instances details
FromJSON Word64 
Instance details

Defined in Data.Aeson.Types.FromJSON

FromJSONKey Word64 
Instance details

Defined in Data.Aeson.Types.FromJSON

ToJSON Word64 
Instance details

Defined in Data.Aeson.Types.ToJSON

ToJSONKey Word64 
Instance details

Defined in Data.Aeson.Types.ToJSON

PrintfArg Word64 
Instance details

Defined in Text.Printf

Methods

formatArg :: Word64 -> FieldFormatter

parseFormat :: Word64 -> ModifierParser

Binary Word64 
Instance details

Defined in Data.Binary.Class

Methods

put :: Word64 -> Put

get :: Get Word64

putList :: [Word64] -> Put

ToMarkup Word64 
Instance details

Defined in Text.Blaze

Methods

toMarkup :: Word64 -> Markup

preEscapedToMarkup :: Word64 -> Markup

ToValue Word64 
Instance details

Defined in Text.Blaze

Methods

toValue :: Word64 -> AttributeValue

preEscapedToValue :: Word64 -> AttributeValue

NFData Word64 
Instance details

Defined in Control.DeepSeq

Methods

rnf :: Word64 -> ()

IsValue Word64 Source # 
Instance details

Defined in Futhark.IR.Prop.Constants

IsPrimValue Word64 Source # 
Instance details

Defined in Language.Futhark.Syntax

GetValue Word64 
Instance details

Defined in Futhark.Data

Methods

getValue :: Value -> Maybe Word64 Source #

PutValue Word64 
Instance details

Defined in Futhark.Data

Methods

putValue :: Word64 -> Maybe Value Source #

PutValue1 Word64 
Instance details

Defined in Futhark.Data

Bits Word64 
Instance details

Defined in GHC.Internal.Word

FiniteBits Word64 
Instance details

Defined in GHC.Internal.Word

Bounded Word64 
Instance details

Defined in GHC.Internal.Word

Enum Word64 
Instance details

Defined in GHC.Internal.Word

Storable Word64 
Instance details

Defined in GHC.Internal.Foreign.Storable

Methods

sizeOf :: Word64 -> Int

alignment :: Word64 -> Int

peekElemOff :: Ptr Word64 -> Int -> IO Word64

pokeElemOff :: Ptr Word64 -> Int -> Word64 -> IO ()

peekByteOff :: Ptr b -> Int -> IO Word64

pokeByteOff :: Ptr b -> Int -> Word64 -> IO ()

peek :: Ptr Word64 -> IO Word64

poke :: Ptr Word64 -> Word64 -> IO ()

Ix Word64 
Instance details

Defined in GHC.Internal.Word

Num Word64 
Instance details

Defined in GHC.Internal.Word

Read Word64 
Instance details

Defined in GHC.Internal.Read

Methods

readsPrec :: Int -> ReadS Word64

readList :: ReadS [Word64]

readPrec :: ReadPrec Word64

readListPrec :: ReadPrec [Word64]

Integral Word64 
Instance details

Defined in GHC.Internal.Word

Real Word64 
Instance details

Defined in GHC.Internal.Word

Methods

toRational :: Word64 -> Rational

Show Word64 
Instance details

Defined in GHC.Internal.Word

Methods

showsPrec :: Int -> Word64 -> ShowS

show :: Word64 -> String

showList :: [Word64] -> ShowS

Eq Word64 
Instance details

Defined in GHC.Internal.Word

Methods

(==) :: Word64 -> Word64 -> Bool

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

Ord Word64 
Instance details

Defined in GHC.Internal.Word

Methods

compare :: Word64 -> Word64 -> Ordering

(<) :: Word64 -> Word64 -> Bool

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

(>) :: Word64 -> Word64 -> Bool

(>=) :: Word64 -> Word64 -> Bool

max :: Word64 -> Word64 -> Word64

min :: Word64 -> Word64 -> Word64

Hashable Word64 
Instance details

Defined in Data.Hashable.Class

Methods

hashWithSalt :: Int -> Word64 -> Int

hash :: Word64 -> Int

ToConst Word64 
Instance details

Defined in Language.C.Quote.Base

Methods

toConst :: Word64 -> SrcLoc -> Const Source #

ToExp Word64 
Instance details

Defined in Language.C.Quote.Base

Methods

toExp :: Word64 -> SrcLoc -> Exp Source #

Pretty Word64 
Instance details

Defined in Text.PrettyPrint.Mainland.Class

Variate Word64 
Instance details

Defined in System.Random.MWC

Methods

uniform :: PrimMonad m => Gen (PrimState m) -> m Word64 Source #

uniformR :: PrimMonad m => (Word64, Word64) -> Gen (PrimState m) -> m Word64 Source #

Pretty Word64 
Instance details

Defined in Prettyprinter.Internal

Methods

pretty :: Word64 -> Doc ann Source #

prettyList :: [Word64] -> Doc ann Source #

Prim Word64 
Instance details

Defined in Data.Primitive.Types

Methods

sizeOfType# :: Proxy Word64 -> Int#

sizeOf# :: Word64 -> Int#

alignmentOfType# :: Proxy Word64 -> Int#

alignment# :: Word64 -> Int#

indexByteArray# :: ByteArray# -> Int# -> Word64

readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, Word64 #)

writeByteArray# :: MutableByteArray# s -> Int# -> Word64 -> State# s -> State# s

setByteArray# :: MutableByteArray# s -> Int# -> Int# -> Word64 -> State# s -> State# s

indexOffAddr# :: Addr# -> Int# -> Word64

readOffAddr# :: Addr# -> Int# -> State# s -> (# State# s, Word64 #)

writeOffAddr# :: Addr# -> Int# -> Word64 -> State# s -> State# s

setOffAddr# :: Addr# -> Int# -> Int# -> Word64 -> State# s -> State# s

Random Word64 
Instance details

Defined in System.Random

Methods

randomR :: RandomGen g => (Word64, Word64) -> g -> (Word64, g) Source #

random :: RandomGen g => g -> (Word64, g) Source #

randomRs :: RandomGen g => (Word64, Word64) -> g -> [Word64] Source #

randoms :: RandomGen g => g -> [Word64] Source #

Uniform Word64 
Instance details

Defined in System.Random.Internal

Methods

uniformM :: StatefulGen g m => g -> m Word64 Source #

UniformRange Word64 
Instance details

Defined in System.Random.Internal

Methods

uniformRM :: StatefulGen g m => (Word64, Word64) -> g -> m Word64 Source #

ByteSource Word64 
Instance details

Defined in Data.UUID.Types.Internal.Builder

Methods

(/-/) :: ByteSink Word64 g -> Word64 -> g

Unbox Word64 
Instance details

Defined in Data.Vector.Unboxed.Base

IArray UArray Word64 
Instance details

Defined in Data.Array.Base

Methods

bounds :: Ix i => UArray i Word64 -> (i, i)

numElements :: Ix i => UArray i Word64 -> Int

unsafeArray :: Ix i => (i, i) -> [(Int, Word64)] -> UArray i Word64

unsafeAt :: Ix i => UArray i Word64 -> Int -> Word64

unsafeReplace :: Ix i => UArray i Word64 -> [(Int, Word64)] -> UArray i Word64

unsafeAccum :: Ix i => (Word64 -> e' -> Word64) -> UArray i Word64 -> [(Int, e')] -> UArray i Word64

unsafeAccumArray :: Ix i => (Word64 -> e' -> Word64) -> Word64 -> (i, i) -> [(Int, e')] -> UArray i Word64

Lift Word64 
Instance details

Defined in Language.Haskell.TH.Syntax

Methods

lift :: Quote m => Word64 -> m Exp

liftTyped :: forall (m :: Type -> Type). Quote m => Word64 -> Code m Word64

Vector Vector Word64 
Instance details

Defined in Data.Vector.Unboxed.Base

Methods

basicUnsafeFreeze :: Mutable Vector s Word64 -> ST s (Vector Word64)

basicUnsafeThaw :: Vector Word64 -> ST s (Mutable Vector s Word64)

basicLength :: Vector Word64 -> Int

basicUnsafeSlice :: Int -> Int -> Vector Word64 -> Vector Word64

basicUnsafeIndexM :: Vector Word64 -> Int -> Box Word64

basicUnsafeCopy :: Mutable Vector s Word64 -> Vector Word64 -> ST s ()

elemseq :: Vector Word64 -> Word64 -> b -> b

MVector MVector Word64 
Instance details

Defined in Data.Vector.Unboxed.Base

Methods

basicLength :: MVector s Word64 -> Int

basicUnsafeSlice :: Int -> Int -> MVector s Word64 -> MVector s Word64

basicOverlaps :: MVector s Word64 -> MVector s Word64 -> Bool

basicUnsafeNew :: Int -> ST s (MVector s Word64)

basicInitialize :: MVector s Word64 -> ST s ()

basicUnsafeReplicate :: Int -> Word64 -> ST s (MVector s Word64)

basicUnsafeRead :: MVector s Word64 -> Int -> ST s Word64

basicUnsafeWrite :: MVector s Word64 -> Int -> Word64 -> ST s ()

basicClear :: MVector s Word64 -> ST s ()

basicSet :: MVector s Word64 -> Word64 -> ST s ()

basicUnsafeCopy :: MVector s Word64 -> MVector s Word64 -> ST s ()

basicUnsafeMove :: MVector s Word64 -> MVector s Word64 -> ST s ()

basicUnsafeGrow :: MVector s Word64 -> Int -> ST s (MVector s Word64)

MArray IOUArray Word64 IO 
Instance details

Defined in Data.Array.IO.Internals

Methods

getBounds :: Ix i => IOUArray i Word64 -> IO (i, i)

getNumElements :: Ix i => IOUArray i Word64 -> IO Int

newArray :: Ix i => (i, i) -> Word64 -> IO (IOUArray i Word64)

newArray_ :: Ix i => (i, i) -> IO (IOUArray i Word64)

unsafeNewArray_ :: Ix i => (i, i) -> IO (IOUArray i Word64)

unsafeRead :: Ix i => IOUArray i Word64 -> Int -> IO Word64

unsafeWrite :: Ix i => IOUArray i Word64 -> Int -> Word64 -> IO ()

MArray (STUArray s) Word64 (ST s) 
Instance details

Defined in Data.Array.Base

Methods

getBounds :: Ix i => STUArray s i Word64 -> ST s (i, i)

getNumElements :: Ix i => STUArray s i Word64 -> ST s Int

newArray :: Ix i => (i, i) -> Word64 -> ST s (STUArray s i Word64)

newArray_ :: Ix i => (i, i) -> ST s (STUArray s i Word64)

unsafeNewArray_ :: Ix i => (i, i) -> ST s (STUArray s i Word64)

unsafeRead :: Ix i => STUArray s i Word64 -> Int -> ST s Word64

unsafeWrite :: Ix i => STUArray s i Word64 -> Int -> Word64 -> ST s ()

type Unsigned Word64 
Instance details

Defined in System.Random.MWC

type Unsigned Word64 = Word64
newtype Vector Word64 
Instance details

Defined in Data.Vector.Unboxed.Base

newtype Vector Word64 = V_Word64 (Vector Word64)
type ByteSink Word64 g 
Instance details

Defined in Data.UUID.Types.Internal.Builder

type ByteSink Word64 g = Takes8Bytes g
newtype MVector s Word64 
Instance details

Defined in Data.Vector.Unboxed.Base

newtype MVector s Word64 = MV_Word64 (MVector s Word64)

data Half Source #

A half-precision floating point value

Instances

Instances details
Binary Half 
Instance details

Defined in Numeric.Half.Internal

Methods

put :: Half -> Put

get :: Get Half

putList :: [Half] -> Put

NFData Half 
Instance details

Defined in Numeric.Half.Internal

Methods

rnf :: Half -> ()

Floating Half 
Instance details

Defined in Numeric.Half.Internal

Methods

pi :: Half

exp :: Half -> Half

log :: Half -> Half

sqrt :: Half -> Half

(**) :: Half -> Half -> Half

logBase :: Half -> Half -> Half

sin :: Half -> Half

cos :: Half -> Half

tan :: Half -> Half

asin :: Half -> Half

acos :: Half -> Half

atan :: Half -> Half

sinh :: Half -> Half

cosh :: Half -> Half

tanh :: Half -> Half

asinh :: Half -> Half

acosh :: Half -> Half

atanh :: Half -> Half

log1p :: Half -> Half

expm1 :: Half -> Half

log1pexp :: Half -> Half

log1mexp :: Half -> Half

RealFloat Half 
Instance details

Defined in Numeric.Half.Internal

Methods

floatRadix :: Half -> Integer

floatDigits :: Half -> Int

floatRange :: Half -> (Int, Int)

decodeFloat :: Half -> (Integer, Int)

encodeFloat :: Integer -> Int -> Half

exponent :: Half -> Int

significand :: Half -> Half

scaleFloat :: Int -> Half -> Half

isNaN :: Half -> Bool

isInfinite :: Half -> Bool

isDenormalized :: Half -> Bool

isNegativeZero :: Half -> Bool

isIEEE :: Half -> Bool

atan2 :: Half -> Half -> Half

Storable Half 
Instance details

Defined in Numeric.Half.Internal

Methods

sizeOf :: Half -> Int

alignment :: Half -> Int

peekElemOff :: Ptr Half -> Int -> IO Half

pokeElemOff :: Ptr Half -> Int -> Half -> IO ()

peekByteOff :: Ptr b -> Int -> IO Half

pokeByteOff :: Ptr b -> Int -> Half -> IO ()

peek :: Ptr Half -> IO Half

poke :: Ptr Half -> Half -> IO ()

Generic Half 
Instance details

Defined in Numeric.Half.Internal

Associated Types

type Rep Half 
Instance details

Defined in Numeric.Half.Internal

type Rep Half = D1 ('MetaData "Half" "Numeric.Half.Internal" "half-0.3.3-Jvy5dNDq4tiIUhNYeZg50I" 'True) (C1 ('MetaCons "Half" 'PrefixI 'True) (S1 ('MetaSel ('Just "getHalf") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CUShort)))

Methods

from :: Half -> Rep Half x

to :: Rep Half x -> Half

Num Half 
Instance details

Defined in Numeric.Half.Internal

Methods

(+) :: Half -> Half -> Half

(-) :: Half -> Half -> Half

(*) :: Half -> Half -> Half

negate :: Half -> Half

abs :: Half -> Half

signum :: Half -> Half

fromInteger :: Integer -> Half

Read Half 
Instance details

Defined in Numeric.Half.Internal

Methods

readsPrec :: Int -> ReadS Half

readList :: ReadS [Half]

readPrec :: ReadPrec Half

readListPrec :: ReadPrec [Half]

Fractional Half 
Instance details

Defined in Numeric.Half.Internal

Methods

(/) :: Half -> Half -> Half

recip :: Half -> Half

fromRational :: Rational -> Half

Real Half 
Instance details

Defined in Numeric.Half.Internal

Methods

toRational :: Half -> Rational

RealFrac Half 
Instance details

Defined in Numeric.Half.Internal

Methods

properFraction :: Integral b => Half -> (b, Half)

truncate :: Integral b => Half -> b

round :: Integral b => Half -> b

ceiling :: Integral b => Half -> b

floor :: Integral b => Half -> b

Show Half 
Instance details

Defined in Numeric.Half.Internal

Methods

showsPrec :: Int -> Half -> ShowS

show :: Half -> String

showList :: [Half] -> ShowS

Eq Half 
Instance details

Defined in Numeric.Half.Internal

Methods

(==) :: Half -> Half -> Bool

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

Ord Half 
Instance details

Defined in Numeric.Half.Internal

Methods

compare :: Half -> Half -> Ordering

(<) :: Half -> Half -> Bool

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

(>) :: Half -> Half -> Bool

(>=) :: Half -> Half -> Bool

max :: Half -> Half -> Half

min :: Half -> Half -> Half

Pretty Half Source # 
Instance details

Defined in Futhark.Util.Pretty

Methods

pretty :: Half -> Doc ann Source #

prettyList :: [Half] -> Doc ann Source #

UniformRange Half Source # 
Instance details

Defined in Futhark.CLI.Dataset

Methods

uniformRM :: StatefulGen g m => (Half, Half) -> g -> m Half Source #

FloatExp Half Source # 
Instance details

Defined in Futhark.Analysis.PrimExp

NumExp Half Source # 
Instance details

Defined in Futhark.Analysis.PrimExp

Methods

fromInteger' :: Integer -> TPrimExp Half v Source #

fromBoolExp :: TPrimExp Bool v -> TPrimExp Half v Source #

MkTV Half Source # 
Instance details

Defined in Futhark.CodeGen.ImpGen

Lift Half 
Instance details

Defined in Numeric.Half.Internal

Methods

lift :: Quote m => Half -> m Exp

liftTyped :: forall (m :: Type -> Type). Quote m => Half -> Code m Half

Pretty v => Floating (TPrimExp Half v) 
Instance details

Defined in Futhark.Analysis.PrimExp

type Rep Half 
Instance details

Defined in Numeric.Half.Internal

type Rep Half = D1 ('MetaData "Half" "Numeric.Half.Internal" "half-0.3.3-Jvy5dNDq4tiIUhNYeZg50I" 'True) (C1 ('MetaCons "Half" 'PrefixI 'True) (S1 ('MetaSel ('Just "getHalf") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CUShort)))