Safe Haskell	None
Language	Haskell2010

Dino.Types

Synopsis

data Dinamic where
- Dinamic :: DinoType a => a -> Dinamic
class (Eq a, Show a, Typeable a, Inspectable a) => DinoType a where
- dinoTypeRep :: DinoTypeRep a
data DinoTypeRep a where
- ListType :: DinoTypeRep a -> DinoTypeRep [a]
- PairType :: DinoTypeRep a -> DinoTypeRep b -> DinoTypeRep (a, b)
- OtherType :: (BuiltIn a ~ False, DinoType a) => DinoTypeRep a
type family BuiltIn a :: Bool where ...
withType :: DinoTypeRep a -> (DinoType a => b) -> b
listTypeElem :: DinoTypeRep [a] -> DinoTypeRep a
fromDinamic :: DinoType a => Dinamic -> Maybe a
class Inspectable a

Documentation

data Dinamic where Source #

Dynamic type based on DinoType

Constructors

Dinamic :: DinoType a => a -> Dinamic

Instances

Monad e => MonadReader (HashMap Text Dinamic) (EvalEnv e) Source #
Instance details 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 Source #

Minimal complete definition

Nothing

Methods

dinoTypeRep :: DinoTypeRep a Source #

dinoTypeRep :: BuiltIn a ~ False => DinoTypeRep a Source #

Instances

DinoType Bool Source #
Instance details Defined in Dino.Types Methods dinoTypeRep :: DinoTypeRep Bool Source #
DinoType Double Source #
Instance details Defined in Dino.Types Methods dinoTypeRep :: DinoTypeRep Double Source #
DinoType Float Source #
Instance details Defined in Dino.Types Methods dinoTypeRep :: DinoTypeRep Float Source #
DinoType Int Source #
Instance details Defined in Dino.Types Methods dinoTypeRep :: DinoTypeRep Int Source #
DinoType Integer Source #
Instance details Defined in Dino.Types Methods dinoTypeRep :: DinoTypeRep Integer Source #
DinoType Rational Source #
Instance details Defined in Dino.Types Methods dinoTypeRep :: DinoTypeRep Rational Source #
DinoType () Source #
Instance details Defined in Dino.Types Methods dinoTypeRep :: DinoTypeRep () Source #
DinoType Text Source #
Instance details Defined in Dino.Types Methods dinoTypeRep :: DinoTypeRep Text Source #
DinoType a => DinoType [a] Source #
Instance details Defined in Dino.Types Methods dinoTypeRep :: DinoTypeRep [a] Source #
DinoType a => DinoType (Maybe a) Source #
Instance details Defined in Dino.Types Methods dinoTypeRep :: DinoTypeRep (Maybe a) Source #
(DinoType a, DinoType b) => DinoType (a, b) Source #
Instance details Defined in Dino.Types Methods dinoTypeRep :: DinoTypeRep (a, b) Source #

data DinoTypeRep a where Source #

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 Source #
Instance details Defined in Dino.Interpretation Methods assert :: Text -> DinoTypeRep Bool -> DinoTypeRep a -> DinoTypeRep a Source # assertEq :: (Eq a, Show a) => Text -> DinoTypeRep a -> DinoTypeRep a -> DinoTypeRep a Source #
FieldExp DinoTypeRep Source #
Instance details Defined in Dino.Interpretation Methods getField :: (KnownSymbol f, HasField f r a, DinoType a) => proxy f -> DinoTypeRep r -> DinoTypeRep a Source #
LetExp DinoTypeRep Source #
Instance details Defined in Dino.Interpretation Methods letE :: DinoType a => Text -> DinoTypeRep a -> (DinoTypeRep a -> DinoTypeRep b) -> DinoTypeRep b Source #
TupleExp DinoTypeRep Source #
Instance details Defined in Dino.Interpretation Methods pair :: DinoTypeRep a -> DinoTypeRep b -> DinoTypeRep (a, b) Source # fstE :: DinoTypeRep (a, b) -> DinoTypeRep a Source # sndE :: DinoTypeRep (a, b) -> DinoTypeRep b Source #
ListExp DinoTypeRep Source #
Instance details Defined in Dino.Interpretation Methods mapE :: DinoType a => (DinoTypeRep a -> DinoTypeRep b) -> DinoTypeRep [a] -> DinoTypeRep [b] Source # dropWhileE :: DinoType a => (DinoTypeRep a -> DinoTypeRep Bool) -> DinoTypeRep [a] -> DinoTypeRep [a] Source # foldE :: (DinoType a, DinoType b) => (DinoTypeRep a -> DinoTypeRep b -> DinoTypeRep a) -> DinoTypeRep a -> DinoTypeRep [b] -> DinoTypeRep a Source #
ListExpFO DinoTypeRep Source #
Instance details Defined in Dino.Interpretation Methods range :: Enum a => DinoTypeRep a -> DinoTypeRep a -> DinoTypeRep [a] Source # list :: DinoType a => [DinoTypeRep a] -> DinoTypeRep [a] Source # headE :: DinoTypeRep [a] -> DinoTypeRep (Maybe a) Source # append :: DinoTypeRep [a] -> DinoTypeRep [a] -> DinoTypeRep [a] Source #
CondExp DinoTypeRep Source #
Instance details Defined in Dino.Interpretation Methods maybe :: DinoType a => DinoTypeRep b -> (DinoTypeRep a -> DinoTypeRep b) -> DinoTypeRep (Maybe a) -> DinoTypeRep b Source #
CondExpFO DinoTypeRep Source #
Instance details Defined in Dino.Interpretation Methods just :: DinoTypeRep a -> DinoTypeRep (Maybe a) Source # cases :: [DinoTypeRep Bool :-> DinoTypeRep a] -> (Otherwise :-> DinoTypeRep a) -> DinoTypeRep a Source # partial_cases :: HasCallStack => [DinoTypeRep Bool :-> DinoTypeRep a] -> DinoTypeRep a Source #
CompareExp DinoTypeRep Source #
Instance details Defined in Dino.Interpretation Methods eq :: Eq a => DinoTypeRep a -> DinoTypeRep a -> DinoTypeRep Bool Source # neq :: Eq a => DinoTypeRep a -> DinoTypeRep a -> DinoTypeRep Bool Source # lt :: Ord a => DinoTypeRep a -> DinoTypeRep a -> DinoTypeRep Bool Source # gt :: Ord a => DinoTypeRep a -> DinoTypeRep a -> DinoTypeRep Bool Source # lte :: Ord a => DinoTypeRep a -> DinoTypeRep a -> DinoTypeRep Bool Source # gte :: Ord a => DinoTypeRep a -> DinoTypeRep a -> DinoTypeRep Bool Source # min :: Ord a => DinoTypeRep a -> DinoTypeRep a -> DinoTypeRep a Source # max :: Ord a => DinoTypeRep a -> DinoTypeRep a -> DinoTypeRep a Source #
LogicExp DinoTypeRep Source #
Instance details Defined in Dino.Interpretation Methods not :: DinoTypeRep Bool -> DinoTypeRep Bool Source # conj :: DinoTypeRep Bool -> DinoTypeRep Bool -> DinoTypeRep Bool Source # disj :: DinoTypeRep Bool -> DinoTypeRep Bool -> DinoTypeRep Bool Source # xor :: DinoTypeRep Bool -> DinoTypeRep Bool -> DinoTypeRep Bool Source #
FracExp DinoTypeRep Source #
Instance details Defined in Dino.Interpretation Methods fdiv :: (Fractional a, Eq a) => DinoTypeRep a -> DinoTypeRep a -> DinoTypeRep a Source #
NumExp DinoTypeRep Source #
Instance details Defined in Dino.Interpretation Methods add :: Num a => DinoTypeRep a -> DinoTypeRep a -> DinoTypeRep a Source # sub :: Num a => DinoTypeRep a -> DinoTypeRep a -> DinoTypeRep a Source # mul :: Num a => DinoTypeRep a -> DinoTypeRep a -> DinoTypeRep a Source # absE :: Num a => DinoTypeRep a -> DinoTypeRep a Source # signE :: Num a => DinoTypeRep a -> DinoTypeRep a Source # fromIntegral :: (Integral a, DinoType b, Num b) => DinoTypeRep a -> DinoTypeRep b Source # floor :: (RealFrac a, DinoType b, Integral b) => DinoTypeRep a -> DinoTypeRep b Source # truncate :: (RealFrac a, DinoType b, Integral b) => DinoTypeRep a -> DinoTypeRep b Source # roundN :: RealFrac a => Int -> DinoTypeRep a -> DinoTypeRep a Source #
ConstExp DinoTypeRep Source #
Instance details Defined in Dino.Interpretation Methods lit :: DinoType a => a -> DinoTypeRep a Source #
TestEquality DinoTypeRep Source #	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.
Instance details Defined in Dino.Types Methods testEquality :: DinoTypeRep a -> DinoTypeRep b -> Maybe (a :~: b) #
AnnExp ann DinoTypeRep Source #
Instance details Defined in Dino.Interpretation Methods ann :: ann -> DinoTypeRep a -> DinoTypeRep a Source #

type family BuiltIn a :: Bool where ... Source #

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 Source #

listTypeElem :: DinoTypeRep [a] -> DinoTypeRep a Source #

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

class Inspectable a Source #

Instances

Inspectable Bool Source #
Instance details Defined in Dino.AST Methods inspect :: Bool -> AST Rational Source #
Inspectable Double Source #
Instance details Defined in Dino.AST Methods inspect :: Double -> AST Rational Source #
Inspectable Float Source #
Instance details Defined in Dino.AST Methods inspect :: Float -> AST Rational Source #
Inspectable Int Source #
Instance details Defined in Dino.AST Methods inspect :: Int -> AST Rational Source #
Inspectable Integer Source #
Instance details Defined in Dino.AST Methods inspect :: Integer -> AST Rational Source #
Inspectable Rational Source #
Instance details Defined in Dino.AST Methods inspect :: Rational -> AST Rational Source #
Inspectable () Source #
Instance details Defined in Dino.AST Methods inspect :: () -> AST Rational Source #
Inspectable String Source #
Instance details Defined in Dino.AST Methods inspect :: String -> AST Rational Source #
Inspectable Text Source #
Instance details Defined in Dino.AST Methods inspect :: Text -> AST Rational Source #
Inspectable a => Inspectable [a] Source #
Instance details Defined in Dino.AST Methods inspect :: [a] -> AST Rational Source #
Inspectable a => Inspectable (Maybe a) Source #
Instance details Defined in Dino.AST Methods inspect :: Maybe a -> AST Rational Source #
Real n => Inspectable (AST n) Source #
Instance details Defined in Dino.AST Methods inspect :: AST n -> AST Rational Source #
Inspectable (Reified a) Source #
Instance details Defined in Dino.Interpretation Methods inspect :: Reified a -> AST Rational Source #
(Inspectable a, Inspectable b) => Inspectable (a, b) Source #
Instance details Defined in Dino.AST Methods inspect :: (a, b) -> AST Rational Source #
Inspectable a => Inspectable (Mapping Field a) Source #
Instance details Defined in Dino.AST Methods inspect :: Mapping Field a -> AST Rational Source #
(Inspectable a, Inspectable b, Inspectable c) => Inspectable (a, b, c) Source #
Instance details Defined in Dino.AST Methods inspect :: (a, b, c) -> AST Rational Source #
(Inspectable a, Inspectable b, Inspectable c, Inspectable d) => Inspectable (a, b, c, d) Source #
Instance details Defined in Dino.AST Methods inspect :: (a, b, c, d) -> AST Rational Source #