Dino.Types

Documentation

data Dinamic where

Dynamic type based on DinoType

Constructors

Dinamic :: DinoType a => a -> Dinamic

Instances

Monad e => MonadReader (HashMap Text Dinamic) (EvalEnv e)

Defined in Dino.Interpretation

Methods

ask :: EvalEnv e (HashMap Text Dinamic)

local :: (HashMap Text Dinamic -> HashMap Text Dinamic) -> EvalEnv e a -> EvalEnv e a

reader :: (HashMap Text Dinamic -> a) -> EvalEnv e a

class (Eq a, Show a, Typeable a, Inspectable a) => DinoType a where

Minimal complete definition

Nothing

Methods

dinoTypeRep :: DinoTypeRep a

dinoTypeRep :: BuiltIn a ~ False => DinoTypeRep a

Instances

DinoType Bool

Defined in Dino.Types

Methods

dinoTypeRep :: DinoTypeRep Bool

DinoType Double

Defined in Dino.Types

Methods

dinoTypeRep :: DinoTypeRep Double

DinoType Float

Defined in Dino.Types

Methods

dinoTypeRep :: DinoTypeRep Float

DinoType Int

Defined in Dino.Types

Methods

dinoTypeRep :: DinoTypeRep Int

DinoType Integer

Defined in Dino.Types

Methods

dinoTypeRep :: DinoTypeRep Integer

DinoType Rational

Defined in Dino.Types

Methods

dinoTypeRep :: DinoTypeRep Rational

DinoType ()

Defined in Dino.Types

Methods

dinoTypeRep :: DinoTypeRep ()

DinoType Text

Defined in Dino.Types

Methods

dinoTypeRep :: DinoTypeRep Text

DinoType a => DinoType [a]

Defined in Dino.Types

Methods

dinoTypeRep :: DinoTypeRep [a]

DinoType a => DinoType (Maybe a)

Defined in Dino.Types

Methods

dinoTypeRep :: DinoTypeRep (Maybe a)

(DinoType a, DinoType b) => DinoType (a, b)

Defined in Dino.Types

Methods

dinoTypeRep :: DinoTypeRep (a, b)

data DinoTypeRep a where

Constructors

ListType :: DinoTypeRep a -> DinoTypeRep [a]

PairType :: DinoTypeRep a -> DinoTypeRep b -> DinoTypeRep (a, b)

OtherType :: (BuiltIn a ~ False, DinoType a) => DinoTypeRep a

Instances

AssertExp DinoTypeRep

Defined in Dino.Interpretation

Methods

assert :: Text -> DinoTypeRep Bool -> DinoTypeRep a -> DinoTypeRep a

assertEq :: (Eq a, Show a) => Text -> DinoTypeRep a -> DinoTypeRep a -> DinoTypeRep a

FieldExp DinoTypeRep

Defined in Dino.Interpretation

Methods

getField :: (KnownSymbol f, HasField f r a, DinoType a) => proxy f -> DinoTypeRep r -> DinoTypeRep a

LetExp DinoTypeRep

Defined in Dino.Interpretation

Methods

letE :: DinoType a => Text -> DinoTypeRep a -> (DinoTypeRep a -> DinoTypeRep b) -> DinoTypeRep b

TupleExp DinoTypeRep

Defined in Dino.Interpretation

Methods

pair :: DinoTypeRep a -> DinoTypeRep b -> DinoTypeRep (a, b)

fstE :: DinoTypeRep (a, b) -> DinoTypeRep a

sndE :: DinoTypeRep (a, b) -> DinoTypeRep b

ListExp DinoTypeRep

Defined in Dino.Interpretation

Methods

mapE :: DinoType a => (DinoTypeRep a -> DinoTypeRep b) -> DinoTypeRep [a] -> DinoTypeRep [b]

dropWhileE :: DinoType a => (DinoTypeRep a -> DinoTypeRep Bool) -> DinoTypeRep [a] -> DinoTypeRep [a]

foldE :: (DinoType a, DinoType b) => (DinoTypeRep a -> DinoTypeRep b -> DinoTypeRep a) -> DinoTypeRep a -> DinoTypeRep [b] -> DinoTypeRep a

ListExpFO DinoTypeRep

Defined in Dino.Interpretation

Methods

range :: Enum a => DinoTypeRep a -> DinoTypeRep a -> DinoTypeRep [a]

list :: DinoType a => [DinoTypeRep a] -> DinoTypeRep [a]

headE :: DinoTypeRep [a] -> DinoTypeRep (Maybe a)

append :: DinoTypeRep [a] -> DinoTypeRep [a] -> DinoTypeRep [a]

CondExp DinoTypeRep

Defined in Dino.Interpretation

Methods

maybe :: DinoType a => DinoTypeRep b -> (DinoTypeRep a -> DinoTypeRep b) -> DinoTypeRep (Maybe a) -> DinoTypeRep b

CondExpFO DinoTypeRep

Defined in Dino.Interpretation

Methods

just :: DinoTypeRep a -> DinoTypeRep (Maybe a)

cases :: [DinoTypeRep Bool :-> DinoTypeRep a] -> (Otherwise :-> DinoTypeRep a) -> DinoTypeRep a

partial_cases :: HasCallStack => [DinoTypeRep Bool :-> DinoTypeRep a] -> DinoTypeRep a

CompareExp DinoTypeRep

Defined in Dino.Interpretation

Methods

eq :: Eq a => DinoTypeRep a -> DinoTypeRep a -> DinoTypeRep Bool

neq :: Eq a => DinoTypeRep a -> DinoTypeRep a -> DinoTypeRep Bool

lt :: Ord a => DinoTypeRep a -> DinoTypeRep a -> DinoTypeRep Bool

gt :: Ord a => DinoTypeRep a -> DinoTypeRep a -> DinoTypeRep Bool

lte :: Ord a => DinoTypeRep a -> DinoTypeRep a -> DinoTypeRep Bool

gte :: Ord a => DinoTypeRep a -> DinoTypeRep a -> DinoTypeRep Bool

min :: Ord a => DinoTypeRep a -> DinoTypeRep a -> DinoTypeRep a

max :: Ord a => DinoTypeRep a -> DinoTypeRep a -> DinoTypeRep a

LogicExp DinoTypeRep

Defined in Dino.Interpretation

Methods

not :: DinoTypeRep Bool -> DinoTypeRep Bool

conj :: DinoTypeRep Bool -> DinoTypeRep Bool -> DinoTypeRep Bool

disj :: DinoTypeRep Bool -> DinoTypeRep Bool -> DinoTypeRep Bool

xor :: DinoTypeRep Bool -> DinoTypeRep Bool -> DinoTypeRep Bool

FracExp DinoTypeRep

Defined in Dino.Interpretation

Methods

fdiv :: (Fractional a, Eq a) => DinoTypeRep a -> DinoTypeRep a -> DinoTypeRep a

NumExp DinoTypeRep

Defined in Dino.Interpretation

Methods

add :: Num a => DinoTypeRep a -> DinoTypeRep a -> DinoTypeRep a

sub :: Num a => DinoTypeRep a -> DinoTypeRep a -> DinoTypeRep a

mul :: Num a => DinoTypeRep a -> DinoTypeRep a -> DinoTypeRep a

absE :: Num a => DinoTypeRep a -> DinoTypeRep a

signE :: Num a => DinoTypeRep a -> DinoTypeRep a

fromIntegral :: (Integral a, DinoType b, Num b) => DinoTypeRep a -> DinoTypeRep b

floor :: (RealFrac a, DinoType b, Integral b) => DinoTypeRep a -> DinoTypeRep b

truncate :: (RealFrac a, DinoType b, Integral b) => DinoTypeRep a -> DinoTypeRep b

roundN :: RealFrac a => Int -> DinoTypeRep a -> DinoTypeRep a

ConstExp DinoTypeRep

Defined in Dino.Interpretation

Methods

lit :: DinoType a => a -> DinoTypeRep a

TestEquality DinoTypeRep

This instance is complete in the sense that if t ~ u, then testEquality (trep :: DinoTypeRep t) (urep :: DinoTypeRep u) returns Just Refl.

For example, BoolType and EnumType :: DinoTypeRep Bool are considered equal.

Defined in Dino.Types

Methods

testEquality :: DinoTypeRep a -> DinoTypeRep b -> Maybe (a :~: b)

AnnExp ann DinoTypeRep

Defined in Dino.Interpretation

Methods

ann :: ann -> DinoTypeRep a -> DinoTypeRep a

type family BuiltIn a :: Bool where ...

Built-in Dino types

Whether or not a type is built-in is mostly an implementation detail.

Equations

BuiltIn [a] = True

BuiltIn (a, b) = True

BuiltIn a = False

withType :: DinoTypeRep a -> (DinoType a => b) -> b

listTypeElem :: DinoTypeRep [a] -> DinoTypeRep a

fromDinamic :: DinoType a => Dinamic -> Maybe a

class Inspectable a

Instances

Inspectable Bool

Defined in Dino.AST

Methods

inspect :: Bool -> AST Rational

Inspectable Double

Defined in Dino.AST

Methods

inspect :: Double -> AST Rational

Inspectable Float

Defined in Dino.AST

Methods

inspect :: Float -> AST Rational

Inspectable Int

Defined in Dino.AST

Methods

inspect :: Int -> AST Rational

Inspectable Integer

Defined in Dino.AST

Methods

inspect :: Integer -> AST Rational

Inspectable Rational

Defined in Dino.AST

Methods

inspect :: Rational -> AST Rational

Inspectable ()

Defined in Dino.AST

Methods

inspect :: () -> AST Rational

Inspectable String

Defined in Dino.AST

Methods

inspect :: String -> AST Rational

Inspectable Text

Defined in Dino.AST

Methods

inspect :: Text -> AST Rational

Inspectable a => Inspectable [a]

Defined in Dino.AST

Methods

inspect :: [a] -> AST Rational

Inspectable a => Inspectable (Maybe a)

Defined in Dino.AST

Methods

inspect :: Maybe a -> AST Rational

Real n => Inspectable (AST n)

Defined in Dino.AST

Methods

inspect :: AST n -> AST Rational

Inspectable (Reified a)

Defined in Dino.Interpretation

Methods

inspect :: Reified a -> AST Rational

(Inspectable a, Inspectable b) => Inspectable (a, b)

Defined in Dino.AST

Methods

inspect :: (a, b) -> AST Rational

Inspectable a => Inspectable (Mapping Field a)

Defined in Dino.AST

Methods

inspect :: Mapping Field a -> AST Rational

(Inspectable a, Inspectable b, Inspectable c) => Inspectable (a, b, c)

Defined in Dino.AST

Methods

inspect :: (a, b, c) -> AST Rational

(Inspectable a, Inspectable b, Inspectable c, Inspectable d) => Inspectable (a, b, c, d)

Defined in Dino.AST

Methods

inspect :: (a, b, c, d) -> AST Rational