Language.Embedded.Imperative.Frontend.General

Exports the general parts of imperative front ends. The motivation for this module is to support making specialized front ends (e.g. like Language.Embedded.Imperative.Frontend but for a specific instruction set). These exports are the parts of the front end that are independent of the instruction set and/or expression language.

Documentation

data Ref a

Mutable reference

Instances

Eq (Ref a)

Defined in Language.Embedded.Imperative.CMD

Methods

(==) :: Ref a -> Ref a -> Bool

(/=) :: Ref a -> Ref a -> Bool

ToIdent (Ref a)

Defined in Language.Embedded.Imperative.CMD

Methods

toIdent :: Ref a -> SrcLoc -> Id

Assignable (Ref a)

Defined in Language.Embedded.Imperative.CMD

data Arr i a

Mutable array

Instances

Eq (Arr i a)

Defined in Language.Embedded.Imperative.CMD

Methods

(==) :: Arr i a -> Arr i a -> Bool

(/=) :: Arr i a -> Arr i a -> Bool

ToIdent (Arr i a)

Defined in Language.Embedded.Imperative.CMD

Methods

toIdent :: Arr i a -> SrcLoc -> Id

Assignable (Arr i a)

Defined in Language.Embedded.Imperative.CMD

IsPointer (Arr i a)

Defined in Language.Embedded.Imperative.CMD

Methods

runSwapPtr :: Arr i a -> Arr i a -> IO ()

data IArr i a

Immutable array

Instances

(Ix i, Show i, Show a) => Show (IArr i a)

Defined in Language.Embedded.Imperative.CMD

Methods

showsPrec :: Int -> IArr i a -> ShowS

show :: IArr i a -> String

showList :: [IArr i a] -> ShowS

ToIdent (IArr i a)

Defined in Language.Embedded.Imperative.CMD

Methods

toIdent :: IArr i a -> SrcLoc -> Id

Assignable (IArr i a)

Defined in Language.Embedded.Imperative.CMD

data Border i

Constructors

Incl i

Excl i

Instances

Functor Border

Defined in Language.Embedded.Imperative.CMD

Methods

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

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

Foldable Border

Defined in Language.Embedded.Imperative.CMD

Methods

fold :: Monoid m => Border m -> m

foldMap :: Monoid m => (a -> m) -> Border a -> m

foldr :: (a -> b -> b) -> b -> Border a -> b

foldr' :: (a -> b -> b) -> b -> Border a -> b

foldl :: (b -> a -> b) -> b -> Border a -> b

foldl' :: (b -> a -> b) -> b -> Border a -> b

foldr1 :: (a -> a -> a) -> Border a -> a

foldl1 :: (a -> a -> a) -> Border a -> a

toList :: Border a -> [a]

null :: Border a -> Bool

length :: Border a -> Int

elem :: Eq a => a -> Border a -> Bool

maximum :: Ord a => Border a -> a

minimum :: Ord a => Border a -> a

sum :: Num a => Border a -> a

product :: Num a => Border a -> a

Traversable Border

Defined in Language.Embedded.Imperative.CMD

Methods

traverse :: Applicative f => (a -> f b) -> Border a -> f (Border b)

sequenceA :: Applicative f => Border (f a) -> f (Border a)

mapM :: Monad m => (a -> m b) -> Border a -> m (Border b)

sequence :: Monad m => Border (m a) -> m (Border a)

Eq i => Eq (Border i)

Defined in Language.Embedded.Imperative.CMD

Methods

(==) :: Border i -> Border i -> Bool

(/=) :: Border i -> Border i -> Bool

Num i => Num (Border i)

fromInteger gives an inclusive border. No other methods defined.

Defined in Language.Embedded.Imperative.CMD

Methods

(+) :: Border i -> Border i -> Border i

(-) :: Border i -> Border i -> Border i

(*) :: Border i -> Border i -> Border i

negate :: Border i -> Border i

abs :: Border i -> Border i

signum :: Border i -> Border i

fromInteger :: Integer -> Border i

Show i => Show (Border i)

Defined in Language.Embedded.Imperative.CMD

Methods

showsPrec :: Int -> Border i -> ShowS

show :: Border i -> String

showList :: [Border i] -> ShowS

type IxRange i = (i, Int, Border i)

Index range

(lo,step,hi)

lo gives the start index; step gives the step length; hi gives the stop index which may be inclusive or exclusive.

class ToIdent a => IsPointer a

Types that are represented as a pointers in C

Minimal complete definition

runSwapPtr

Instances

IsPointer (Ptr a)

Defined in Language.Embedded.Imperative.CMD

Methods

runSwapPtr :: Ptr a -> Ptr a -> IO ()

IsPointer (Arr i a)

Defined in Language.Embedded.Imperative.CMD

Methods

runSwapPtr :: Arr i a -> Arr i a -> IO ()

data IOMode

See openFile

Constructors

ReadMode

WriteMode

AppendMode

ReadWriteMode

Instances

Enum IOMode

Since: base-4.2.0.0

Defined in GHC.IO.IOMode

Methods

succ :: IOMode -> IOMode

pred :: IOMode -> IOMode

toEnum :: Int -> IOMode

fromEnum :: IOMode -> Int

enumFrom :: IOMode -> [IOMode]

enumFromThen :: IOMode -> IOMode -> [IOMode]

enumFromTo :: IOMode -> IOMode -> [IOMode]

enumFromThenTo :: IOMode -> IOMode -> IOMode -> [IOMode]

Eq IOMode

Since: base-4.2.0.0

Defined in GHC.IO.IOMode

Methods

(==) :: IOMode -> IOMode -> Bool

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

Ord IOMode

Since: base-4.2.0.0

Defined in GHC.IO.IOMode

Methods

compare :: IOMode -> IOMode -> Ordering

(<) :: IOMode -> IOMode -> Bool

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

(>) :: IOMode -> IOMode -> Bool

(>=) :: IOMode -> IOMode -> Bool

max :: IOMode -> IOMode -> IOMode

min :: IOMode -> IOMode -> IOMode

Read IOMode

Since: base-4.2.0.0

Defined in GHC.IO.IOMode

Methods

readsPrec :: Int -> ReadS IOMode

readList :: ReadS [IOMode]

readPrec :: ReadPrec IOMode

readListPrec :: ReadPrec [IOMode]

Show IOMode

Since: base-4.2.0.0

Defined in GHC.IO.IOMode

Methods

showsPrec :: Int -> IOMode -> ShowS

show :: IOMode -> String

showList :: [IOMode] -> ShowS

Ix IOMode

Since: base-4.2.0.0

Defined in GHC.IO.IOMode

Methods

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

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

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

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

rangeSize :: (IOMode, IOMode) -> Int

unsafeRangeSize :: (IOMode, IOMode) -> Int

data Handle

File handle

Instances

Eq Handle

Defined in Language.Embedded.Imperative.CMD

Methods

(==) :: Handle -> Handle -> Bool

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

Show Handle

Defined in Language.Embedded.Imperative.CMD

Methods

showsPrec :: Int -> Handle -> ShowS

show :: Handle -> String

showList :: [Handle] -> ShowS

ToIdent Handle

Defined in Language.Embedded.Imperative.CMD

Methods

toIdent :: Handle -> SrcLoc -> Id

stdin :: Handle

Handle to stdin

stdout :: Handle

Handle to stdout

data PrintfArg exp

class (Typeable a, Read a, PrintfArg a) => Formattable a

Values that can be printed/scanned using printf/scanf

Minimal complete definition

formatSpecPrint

Instances

Formattable Double

Defined in Language.Embedded.Imperative.CMD

Methods

formatSpecPrint :: Proxy Double -> String

formatSpecScan :: Proxy Double -> String

Formattable Float

Defined in Language.Embedded.Imperative.CMD

Methods

formatSpecPrint :: Proxy Float -> String

formatSpecScan :: Proxy Float -> String

Formattable Int

Defined in Language.Embedded.Imperative.CMD

Methods

formatSpecPrint :: Proxy Int -> String

formatSpecScan :: Proxy Int -> String

Formattable Int8

Defined in Language.Embedded.Imperative.CMD

Methods

formatSpecPrint :: Proxy Int8 -> String

formatSpecScan :: Proxy Int8 -> String

Formattable Int16

Defined in Language.Embedded.Imperative.CMD

Methods

formatSpecPrint :: Proxy Int16 -> String

formatSpecScan :: Proxy Int16 -> String

Formattable Int32

Defined in Language.Embedded.Imperative.CMD

Methods

formatSpecPrint :: Proxy Int32 -> String

formatSpecScan :: Proxy Int32 -> String

Formattable Int64

Defined in Language.Embedded.Imperative.CMD

Methods

formatSpecPrint :: Proxy Int64 -> String

formatSpecScan :: Proxy Int64 -> String

Formattable Word

Defined in Language.Embedded.Imperative.CMD

Methods

formatSpecPrint :: Proxy Word -> String

formatSpecScan :: Proxy Word -> String

Formattable Word8

Defined in Language.Embedded.Imperative.CMD

Methods

formatSpecPrint :: Proxy Word8 -> String

formatSpecScan :: Proxy Word8 -> String

Formattable Word16

Defined in Language.Embedded.Imperative.CMD

Methods

formatSpecPrint :: Proxy Word16 -> String

formatSpecScan :: Proxy Word16 -> String

Formattable Word32

Defined in Language.Embedded.Imperative.CMD

Methods

formatSpecPrint :: Proxy Word32 -> String

formatSpecScan :: Proxy Word32 -> String

Formattable Word64

Defined in Language.Embedded.Imperative.CMD

Methods

formatSpecPrint :: Proxy Word64 -> String

formatSpecScan :: Proxy Word64 -> String

data Ptr (a :: *)

Pointer

Instances

Eq (Ptr a)

Defined in Language.Embedded.Imperative.CMD

Methods

(==) :: Ptr a -> Ptr a -> Bool

(/=) :: Ptr a -> Ptr a -> Bool

Show (Ptr a)

Defined in Language.Embedded.Imperative.CMD

Methods

showsPrec :: Int -> Ptr a -> ShowS

show :: Ptr a -> String

showList :: [Ptr a] -> ShowS

ToIdent (Ptr a)

Defined in Language.Embedded.Imperative.CMD

Methods

toIdent :: Ptr a -> SrcLoc -> Id

Assignable (Ptr a)

Defined in Language.Embedded.Imperative.CMD

IsPointer (Ptr a)

Defined in Language.Embedded.Imperative.CMD

Methods

runSwapPtr :: Ptr a -> Ptr a -> IO ()

data Object

Abstract object

Instances

Eq Object

Defined in Language.Embedded.Imperative.CMD

Methods

(==) :: Object -> Object -> Bool

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

Show Object

Defined in Language.Embedded.Imperative.CMD

Methods

showsPrec :: Int -> Object -> ShowS

show :: Object -> String

showList :: [Object] -> ShowS

ToIdent Object

Defined in Language.Embedded.Imperative.CMD

Methods

toIdent :: Object -> SrcLoc -> Id

Assignable Object

Defined in Language.Embedded.Imperative.CMD

data FunArg exp pred where

Constructors

ValArg :: pred a => exp a -> FunArg exp pred

AddrArg :: FunArg exp pred -> FunArg exp pred

DerefArg :: FunArg exp pred -> FunArg exp pred

OffsetArg :: FunArg exp pred -> exp i -> FunArg exp pred

FunArg :: Arg arg pred => arg pred -> FunArg exp pred

Instances

(CompExp exp, CompTypeClass ct) => Arg (FunArg exp :: (Type -> Constraint) -> Type) (ct :: Type -> Constraint)

Defined in Language.Embedded.Imperative.CMD

Methods

mkArg :: FunArg exp ct -> CGen Exp

mkParam :: FunArg exp ct -> CGen Param

class ToIdent obj => Assignable obj

Instances

Assignable Object

Defined in Language.Embedded.Imperative.CMD

Assignable (Ptr a)

Defined in Language.Embedded.Imperative.CMD

Assignable (Ref a)

Defined in Language.Embedded.Imperative.CMD

Assignable (IArr i a)

Defined in Language.Embedded.Imperative.CMD

Assignable (Arr i a)

Defined in Language.Embedded.Imperative.CMD

data Definition

Instances

Eq Definition

Defined in Language.C.Syntax

Methods

(==) :: Definition -> Definition -> Bool

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

Data Definition

Defined in Language.C.Syntax

Methods

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

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

toConstr :: Definition -> Constr

dataTypeOf :: Definition -> DataType

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

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

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

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

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

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

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

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

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

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

Ord Definition

Defined in Language.C.Syntax

Methods

compare :: Definition -> Definition -> Ordering

(<) :: Definition -> Definition -> Bool

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

(>) :: Definition -> Definition -> Bool

(>=) :: Definition -> Definition -> Bool

max :: Definition -> Definition -> Definition

min :: Definition -> Definition -> Definition

Show Definition

Defined in Language.C.Syntax

Methods

showsPrec :: Int -> Definition -> ShowS

show :: Definition -> String

showList :: [Definition] -> ShowS

Located Definition

Defined in Language.C.Syntax

Methods

locOf :: Definition -> Loc

locOfList :: [Definition] -> Loc

Relocatable Definition

Defined in Language.C.Syntax

Methods

reloc :: Loc -> Definition -> Definition

cedecl :: QuasiQuoter