A

AST

Documentation

data T a

Constructors

Arr (Sh a) (T a)

F

I

double

B

int

Li (I a)

bool

TVar (Nm a)

Arrow (T a) (T a)

Kind \(*\)

P [T a]

Ρ (TyNm a) (IntMap (T a))

Instances

Functor T

Defined in A

Methods

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

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

PS (T a)

Defined in A

Methods

ps :: Int -> T a -> Doc ann

NFData a => NFData (T a)

Defined in A

Methods

rnf :: T a -> ()

Generic (T a)

Defined in A

Associated Types

type Rep (T a)

Defined in A

type Rep (T a) = D1 ('MetaData "T" "A" "apple-0.3.0.0-inplace" 'False) (((C1 ('MetaCons "Arr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Sh a)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (T a))) :+: C1 ('MetaCons "F" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "I" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "B" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "Li" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (I a))) :+: C1 ('MetaCons "TVar" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Nm a)))) :+: (C1 ('MetaCons "Arrow" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (T a)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (T a))) :+: (C1 ('MetaCons "P" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [T a])) :+: C1 ('MetaCons "\929" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (TyNm a)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (IntMap (T a))))))))

Methods

from :: T a -> Rep (T a) x

to :: Rep (T a) x -> T a

Show (T a)

Defined in A

Methods

showsPrec :: Int -> T a -> ShowS

show :: T a -> String

showList :: [T a] -> ShowS

Pretty (T a)

Defined in A

Methods

pretty :: T a -> Doc ann

prettyList :: [T a] -> Doc ann

type Rep (T a)

Defined in A

type Rep (T a) = D1 ('MetaData "T" "A" "apple-0.3.0.0-inplace" 'False) (((C1 ('MetaCons "Arr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Sh a)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (T a))) :+: C1 ('MetaCons "F" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "I" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "B" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "Li" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (I a))) :+: C1 ('MetaCons "TVar" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Nm a)))) :+: (C1 ('MetaCons "Arrow" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (T a)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (T a))) :+: (C1 ('MetaCons "P" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [T a])) :+: C1 ('MetaCons "\929" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (TyNm a)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (IntMap (T a))))))))

(~>) :: T a -> T a -> T a infixr 0

data I a

Constructors

Ix

Fields

• ia :: a
• ii :: !Int

IVar

Fields

• ia :: a
• ixn :: Nm a

IEVar

Fields

• ia :: a
• ie :: Nm a

StaPlus

Fields

• ia :: a
• ix0 :: I a
• ix1 :: I a

StaMul

Fields

• ia :: a
• ix0 :: I a
• ix1 :: I a

Instances

Functor I

Defined in A

Methods

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

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

PS (I a)

Defined in A

Methods

ps :: Int -> I a -> Doc ann

NFData a => NFData (I a)

Defined in A

Methods

rnf :: I a -> ()

Generic (I a)

Defined in A

Associated Types

type Rep (I a)

Defined in A

type Rep (I a) = D1 ('MetaData "I" "A" "apple-0.3.0.0-inplace" 'False) ((C1 ('MetaCons "Ix" 'PrefixI 'True) (S1 ('MetaSel ('Just "ia") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Just "ii") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Int)) :+: C1 ('MetaCons "IVar" 'PrefixI 'True) (S1 ('MetaSel ('Just "ia") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Just "ixn") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Nm a)))) :+: (C1 ('MetaCons "IEVar" 'PrefixI 'True) (S1 ('MetaSel ('Just "ia") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Just "ie") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Nm a))) :+: (C1 ('MetaCons "StaPlus" 'PrefixI 'True) (S1 ('MetaSel ('Just "ia") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: (S1 ('MetaSel ('Just "ix0") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (I a)) :*: S1 ('MetaSel ('Just "ix1") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (I a)))) :+: C1 ('MetaCons "StaMul" 'PrefixI 'True) (S1 ('MetaSel ('Just "ia") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: (S1 ('MetaSel ('Just "ix0") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (I a)) :*: S1 ('MetaSel ('Just "ix1") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (I a)))))))

Methods

from :: I a -> Rep (I a) x

to :: Rep (I a) x -> I a

Show (I a)

Defined in A

Methods

showsPrec :: Int -> I a -> ShowS

show :: I a -> String

showList :: [I a] -> ShowS

Pretty (I a)

Defined in A

Methods

pretty :: I a -> Doc ann

prettyList :: [I a] -> Doc ann

type Rep (I a)

Defined in A

type Rep (I a) = D1 ('MetaData "I" "A" "apple-0.3.0.0-inplace" 'False) ((C1 ('MetaCons "Ix" 'PrefixI 'True) (S1 ('MetaSel ('Just "ia") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Just "ii") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Int)) :+: C1 ('MetaCons "IVar" 'PrefixI 'True) (S1 ('MetaSel ('Just "ia") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Just "ixn") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Nm a)))) :+: (C1 ('MetaCons "IEVar" 'PrefixI 'True) (S1 ('MetaSel ('Just "ia") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Just "ie") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Nm a))) :+: (C1 ('MetaCons "StaPlus" 'PrefixI 'True) (S1 ('MetaSel ('Just "ia") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: (S1 ('MetaSel ('Just "ix0") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (I a)) :*: S1 ('MetaSel ('Just "ix1") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (I a)))) :+: C1 ('MetaCons "StaMul" 'PrefixI 'True) (S1 ('MetaSel ('Just "ia") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: (S1 ('MetaSel ('Just "ix0") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (I a)) :*: S1 ('MetaSel ('Just "ix1") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (I a)))))))

data Sh a

Constructors

Nil

SVar (Nm a)

Cons (I a) (Sh a) infixr 8

Rev (Sh a)

Cat (Sh a) (Sh a)

Π (Sh a)

Instances

Functor Sh

Defined in A

Methods

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

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

PS (Sh a)

Defined in A

Methods

ps :: Int -> Sh a -> Doc ann

NFData a => NFData (Sh a)

Defined in A

Methods

rnf :: Sh a -> ()

Generic (Sh a)

Defined in A

Associated Types

type Rep (Sh a)

Defined in A

type Rep (Sh a) = D1 ('MetaData "Sh" "A" "apple-0.3.0.0-inplace" 'False) ((C1 ('MetaCons "Nil" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "SVar" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Nm a))) :+: C1 ('MetaCons "Cons" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (I a)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Sh a))))) :+: (C1 ('MetaCons "Rev" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Sh a))) :+: (C1 ('MetaCons "Cat" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Sh a)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Sh a))) :+: C1 ('MetaCons "\928" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Sh a))))))

Methods

from :: Sh a -> Rep (Sh a) x

to :: Rep (Sh a) x -> Sh a

Show (Sh a)

Defined in A

Methods

showsPrec :: Int -> Sh a -> ShowS

show :: Sh a -> String

showList :: [Sh a] -> ShowS

Pretty (Sh a)

Defined in A

Methods

pretty :: Sh a -> Doc ann

prettyList :: [Sh a] -> Doc ann

type Rep (Sh a)

Defined in A

type Rep (Sh a) = D1 ('MetaData "Sh" "A" "apple-0.3.0.0-inplace" 'False) ((C1 ('MetaCons "Nil" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "SVar" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Nm a))) :+: C1 ('MetaCons "Cons" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (I a)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Sh a))))) :+: (C1 ('MetaCons "Rev" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Sh a))) :+: (C1 ('MetaCons "Cat" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Sh a)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Sh a))) :+: C1 ('MetaCons "\928" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Sh a))))))

data C

Constructors

IsNum

IsOrd

IsEq

HasBits

Instances

NFData C

Defined in A

Methods

rnf :: C -> ()

Generic C

Defined in A

Associated Types

type Rep C

Defined in A

type Rep C = D1 ('MetaData "C" "A" "apple-0.3.0.0-inplace" 'False) ((C1 ('MetaCons "IsNum" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "IsOrd" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "IsEq" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "HasBits" 'PrefixI 'False) (U1 :: Type -> Type)))

Methods

from :: C -> Rep C x

to :: Rep C x -> C

Show C

Defined in A

Methods

showsPrec :: Int -> C -> ShowS

show :: C -> String

showList :: [C] -> ShowS

Eq C

Defined in A

Methods

(==) :: C -> C -> Bool

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

Ord C

Defined in A

Methods

compare :: C -> C -> Ordering

(<) :: C -> C -> Bool

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

(>) :: C -> C -> Bool

(>=) :: C -> C -> Bool

max :: C -> C -> C

min :: C -> C -> C

Pretty C

Defined in A

Methods

pretty :: C -> Doc ann

prettyList :: [C] -> Doc ann

type Rep C

Defined in A

type Rep C = D1 ('MetaData "C" "A" "apple-0.3.0.0-inplace" 'False) ((C1 ('MetaCons "IsNum" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "IsOrd" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "IsEq" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "HasBits" 'PrefixI 'False) (U1 :: Type -> Type)))

data E a

Constructors

ALit

Fields

• eAnn :: a
• arrLit :: [E a]

Var

Fields

• eAnn :: a
• eVar :: Nm a

Builtin

Fields

• eAnn :: a
• eBuiltin :: !Builtin

EApp

Fields

• eAnn :: a
• eF :: E a
• eArg :: E a

Lam

Fields

• eAnn :: a
• eVar :: Nm a
• eIn :: E a

ILit

Fields

• eAnn :: a
• eILit :: !Integer

FLit

Fields

• eAnn :: a
• eFLit :: !Double

BLit

Fields

• eAnn :: a
• eBLit :: !Bool

Cond

Fields

• eAnn :: a
• prop :: E a
• ifBranch :: E a
• elseBranch :: E a

Let

Fields

• eAnn :: a
• eBnd :: (Nm a, E a)
• eIn :: E a

Def

Fields

• eAnn :: a
• eBnd :: (Nm a, E a)
• eIn :: E a

LLet

Fields

• eAnn :: a
• eBnd :: (Nm a, E a)
• eIn :: E a

Dfn

Fields

• eAnn :: a
• eIn :: E a

ResVar

Fields

• eAnn :: a
• eXY :: ResVar

Parens

Fields

• eAnn :: a
• eExp :: E a

Ann

Fields

• eAnn :: a
• eEe :: E a
• eTy :: T a

Tup

Fields

• eAnn :: a
• eEs :: [E a]

Id

Fields

• eAnn :: a
• eIdiom :: Idiom

Instances

Functor E

Defined in A

Methods

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

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

PS (E a)

Defined in A

Methods

ps :: Int -> E a -> Doc ann

NFData a => NFData (E a)

Defined in A

Methods

rnf :: E a -> ()

Generic (E a)

Defined in A

Associated Types

type Rep (E a)

Defined in A

type Rep (E a) = D1 ('MetaData "E" "A" "apple-0.3.0.0-inplace" 'False) ((((C1 ('MetaCons "ALit" 'PrefixI 'True) (S1 ('MetaSel ('Just "eAnn") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Just "arrLit") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [E a])) :+: C1 ('MetaCons "Var" 'PrefixI 'True) (S1 ('MetaSel ('Just "eAnn") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Just "eVar") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Nm a)))) :+: (C1 ('MetaCons "Builtin" 'PrefixI 'True) (S1 ('MetaSel ('Just "eAnn") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Just "eBuiltin") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Builtin)) :+: C1 ('MetaCons "EApp" 'PrefixI 'True) (S1 ('MetaSel ('Just "eAnn") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: (S1 ('MetaSel ('Just "eF") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (E a)) :*: S1 ('MetaSel ('Just "eArg") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (E a)))))) :+: ((C1 ('MetaCons "Lam" 'PrefixI 'True) (S1 ('MetaSel ('Just "eAnn") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: (S1 ('MetaSel ('Just "eVar") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Nm a)) :*: S1 ('MetaSel ('Just "eIn") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (E a)))) :+: C1 ('MetaCons "ILit" 'PrefixI 'True) (S1 ('MetaSel ('Just "eAnn") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Just "eILit") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Integer))) :+: (C1 ('MetaCons "FLit" 'PrefixI 'True) (S1 ('MetaSel ('Just "eAnn") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Just "eFLit") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Double)) :+: (C1 ('MetaCons "BLit" 'PrefixI 'True) (S1 ('MetaSel ('Just "eAnn") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Just "eBLit") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Bool)) :+: C1 ('MetaCons "Cond" 'PrefixI 'True) ((S1 ('MetaSel ('Just "eAnn") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Just "prop") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (E a))) :*: (S1 ('MetaSel ('Just "ifBranch") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (E a)) :*: S1 ('MetaSel ('Just "elseBranch") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (E a)))))))) :+: (((C1 ('MetaCons "Let" 'PrefixI 'True) (S1 ('MetaSel ('Just "eAnn") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: (S1 ('MetaSel ('Just "eBnd") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Nm a, E a)) :*: S1 ('MetaSel ('Just "eIn") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (E a)))) :+: C1 ('MetaCons "Def" 'PrefixI 'True) (S1 ('MetaSel ('Just "eAnn") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: (S1 ('MetaSel ('Just "eBnd") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Nm a, E a)) :*: S1 ('MetaSel ('Just "eIn") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (E a))))) :+: (C1 ('MetaCons "LLet" 'PrefixI 'True) (S1 ('MetaSel ('Just "eAnn") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: (S1 ('MetaSel ('Just "eBnd") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Nm a, E a)) :*: S1 ('MetaSel ('Just "eIn") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (E a)))) :+: C1 ('MetaCons "Dfn" 'PrefixI 'True) (S1 ('MetaSel ('Just "eAnn") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Just "eIn") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (E a))))) :+: ((C1 ('MetaCons "ResVar" 'PrefixI 'True) (S1 ('MetaSel ('Just "eAnn") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Just "eXY") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ResVar)) :+: C1 ('MetaCons "Parens" 'PrefixI 'True) (S1 ('MetaSel ('Just "eAnn") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Just "eExp") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (E a)))) :+: (C1 ('MetaCons "Ann" 'PrefixI 'True) (S1 ('MetaSel ('Just "eAnn") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: (S1 ('MetaSel ('Just "eEe") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (E a)) :*: S1 ('MetaSel ('Just "eTy") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (T a)))) :+: (C1 ('MetaCons "Tup" 'PrefixI 'True) (S1 ('MetaSel ('Just "eAnn") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Just "eEs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [E a])) :+: C1 ('MetaCons "Id" 'PrefixI 'True) (S1 ('MetaSel ('Just "eAnn") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Just "eIdiom") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Idiom)))))))

Methods

from :: E a -> Rep (E a) x

to :: Rep (E a) x -> E a

Show (E a)

Defined in A

Methods

showsPrec :: Int -> E a -> ShowS

show :: E a -> String

showList :: [E a] -> ShowS

Pretty (E a)

Defined in A

Methods

pretty :: E a -> Doc ann

prettyList :: [E a] -> Doc ann

type Rep (E a)

Defined in A

type Rep (E a) = D1 ('MetaData "E" "A" "apple-0.3.0.0-inplace" 'False) ((((C1 ('MetaCons "ALit" 'PrefixI 'True) (S1 ('MetaSel ('Just "eAnn") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Just "arrLit") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [E a])) :+: C1 ('MetaCons "Var" 'PrefixI 'True) (S1 ('MetaSel ('Just "eAnn") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Just "eVar") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Nm a)))) :+: (C1 ('MetaCons "Builtin" 'PrefixI 'True) (S1 ('MetaSel ('Just "eAnn") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Just "eBuiltin") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Builtin)) :+: C1 ('MetaCons "EApp" 'PrefixI 'True) (S1 ('MetaSel ('Just "eAnn") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: (S1 ('MetaSel ('Just "eF") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (E a)) :*: S1 ('MetaSel ('Just "eArg") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (E a)))))) :+: ((C1 ('MetaCons "Lam" 'PrefixI 'True) (S1 ('MetaSel ('Just "eAnn") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: (S1 ('MetaSel ('Just "eVar") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Nm a)) :*: S1 ('MetaSel ('Just "eIn") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (E a)))) :+: C1 ('MetaCons "ILit" 'PrefixI 'True) (S1 ('MetaSel ('Just "eAnn") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Just "eILit") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Integer))) :+: (C1 ('MetaCons "FLit" 'PrefixI 'True) (S1 ('MetaSel ('Just "eAnn") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Just "eFLit") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Double)) :+: (C1 ('MetaCons "BLit" 'PrefixI 'True) (S1 ('MetaSel ('Just "eAnn") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Just "eBLit") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Bool)) :+: C1 ('MetaCons "Cond" 'PrefixI 'True) ((S1 ('MetaSel ('Just "eAnn") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Just "prop") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (E a))) :*: (S1 ('MetaSel ('Just "ifBranch") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (E a)) :*: S1 ('MetaSel ('Just "elseBranch") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (E a)))))))) :+: (((C1 ('MetaCons "Let" 'PrefixI 'True) (S1 ('MetaSel ('Just "eAnn") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: (S1 ('MetaSel ('Just "eBnd") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Nm a, E a)) :*: S1 ('MetaSel ('Just "eIn") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (E a)))) :+: C1 ('MetaCons "Def" 'PrefixI 'True) (S1 ('MetaSel ('Just "eAnn") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: (S1 ('MetaSel ('Just "eBnd") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Nm a, E a)) :*: S1 ('MetaSel ('Just "eIn") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (E a))))) :+: (C1 ('MetaCons "LLet" 'PrefixI 'True) (S1 ('MetaSel ('Just "eAnn") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: (S1 ('MetaSel ('Just "eBnd") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Nm a, E a)) :*: S1 ('MetaSel ('Just "eIn") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (E a)))) :+: C1 ('MetaCons "Dfn" 'PrefixI 'True) (S1 ('MetaSel ('Just "eAnn") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Just "eIn") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (E a))))) :+: ((C1 ('MetaCons "ResVar" 'PrefixI 'True) (S1 ('MetaSel ('Just "eAnn") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Just "eXY") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ResVar)) :+: C1 ('MetaCons "Parens" 'PrefixI 'True) (S1 ('MetaSel ('Just "eAnn") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Just "eExp") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (E a)))) :+: (C1 ('MetaCons "Ann" 'PrefixI 'True) (S1 ('MetaSel ('Just "eAnn") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: (S1 ('MetaSel ('Just "eEe") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (E a)) :*: S1 ('MetaSel ('Just "eTy") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (T a)))) :+: (C1 ('MetaCons "Tup" 'PrefixI 'True) (S1 ('MetaSel ('Just "eAnn") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Just "eEs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [E a])) :+: C1 ('MetaCons "Id" 'PrefixI 'True) (S1 ('MetaSel ('Just "eAnn") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Just "eIdiom") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Idiom)))))))

data Idiom

Constructors

FoldSOfZip

Fields

• seedI :: E (T ())
• opI :: E (T ())
• esI :: [E (T ())]

FoldOfZip

Fields

• zopI :: E (T ())
• opI :: E (T ())
• esI :: [E (T ())]

FoldGen

Fields

• seedG :: E (T ())
• ufG :: E (T ())
• fG :: E (T ())
• nG :: E (T ())

AShLit

Fields

• litSh :: [Int]
• esLit :: [E (T ())]

Instances

NFData Idiom

Defined in A

Methods

rnf :: Idiom -> ()

Generic Idiom

Defined in A

Associated Types

type Rep Idiom

Defined in A

type Rep Idiom = D1 ('MetaData "Idiom" "A" "apple-0.3.0.0-inplace" 'False) ((C1 ('MetaCons "FoldSOfZip" 'PrefixI 'True) (S1 ('MetaSel ('Just "seedI") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (E (T ()))) :*: (S1 ('MetaSel ('Just "opI") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (E (T ()))) :*: S1 ('MetaSel ('Just "esI") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [E (T ())]))) :+: C1 ('MetaCons "FoldOfZip" 'PrefixI 'True) (S1 ('MetaSel ('Just "zopI") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (E (T ()))) :*: (S1 ('MetaSel ('Just "opI") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (E (T ()))) :*: S1 ('MetaSel ('Just "esI") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [E (T ())])))) :+: (C1 ('MetaCons "FoldGen" 'PrefixI 'True) ((S1 ('MetaSel ('Just "seedG") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (E (T ()))) :*: S1 ('MetaSel ('Just "ufG") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (E (T ())))) :*: (S1 ('MetaSel ('Just "fG") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (E (T ()))) :*: S1 ('MetaSel ('Just "nG") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (E (T ()))))) :+: C1 ('MetaCons "AShLit" 'PrefixI 'True) (S1 ('MetaSel ('Just "litSh") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Int]) :*: S1 ('MetaSel ('Just "esLit") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [E (T ())]))))

Methods

from :: Idiom -> Rep Idiom x

to :: Rep Idiom x -> Idiom

Show Idiom

Defined in A

Methods

showsPrec :: Int -> Idiom -> ShowS

show :: Idiom -> String

showList :: [Idiom] -> ShowS

Pretty Idiom

Defined in A

Methods

pretty :: Idiom -> Doc ann

prettyList :: [Idiom] -> Doc ann

type Rep Idiom

Defined in A

type Rep Idiom = D1 ('MetaData "Idiom" "A" "apple-0.3.0.0-inplace" 'False) ((C1 ('MetaCons "FoldSOfZip" 'PrefixI 'True) (S1 ('MetaSel ('Just "seedI") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (E (T ()))) :*: (S1 ('MetaSel ('Just "opI") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (E (T ()))) :*: S1 ('MetaSel ('Just "esI") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [E (T ())]))) :+: C1 ('MetaCons "FoldOfZip" 'PrefixI 'True) (S1 ('MetaSel ('Just "zopI") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (E (T ()))) :*: (S1 ('MetaSel ('Just "opI") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (E (T ()))) :*: S1 ('MetaSel ('Just "esI") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [E (T ())])))) :+: (C1 ('MetaCons "FoldGen" 'PrefixI 'True) ((S1 ('MetaSel ('Just "seedG") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (E (T ()))) :*: S1 ('MetaSel ('Just "ufG") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (E (T ())))) :*: (S1 ('MetaSel ('Just "fG") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (E (T ()))) :*: S1 ('MetaSel ('Just "nG") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (E (T ()))))) :+: C1 ('MetaCons "AShLit" 'PrefixI 'True) (S1 ('MetaSel ('Just "litSh") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Int]) :*: S1 ('MetaSel ('Just "esLit") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [E (T ())]))))

data Builtin

Constructors

Plus

Minus

Times

Div

IntExp

Exp

Log

Eq

Neq

Gt

Lt

Gte

Lte

CatE

IDiv

Mod

Max

Min

Neg

Sqrt

T

Di

Flat

AddDim

Ices

Filt

Eye

IRange

FRange

Map

FoldA

Zip

Rank [(Int, Maybe [Int])]

Fold

FoldS

Foldl

Floor

ItoF

Iter

Scan

ScanS

Size

Dim

Re

Gen

Fib

Succ

DI !Int

Conv [Int]

TAt !Int

Last

LastM

ConsE

Snoc

Mul

VMul

Outer

R

Head

HeadM

Tail

Init

RevE

TailM

InitM

Sin

Cos

Rot

Tan

Cyc

A1

Even

Odd

IOf

Abs

And

Or

Xor

N

Sr

Sl

C

Instances

NFData Builtin

Defined in A

Methods

rnf :: Builtin -> ()

Generic Builtin

Defined in A

Associated Types

type Rep Builtin

Defined in A

type Rep Builtin = D1 ('MetaData "Builtin" "A" "apple-0.3.0.0-inplace" 'False) ((((((C1 ('MetaCons "Plus" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Minus" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Times" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Div" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "IntExp" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "Exp" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Log" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Eq" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Neq" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Gt" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "Lt" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Gte" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Lte" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "CatE" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "IDiv" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "Mod" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Max" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Min" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Neg" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Sqrt" 'PrefixI 'False) (U1 :: Type -> Type)))))) :+: ((((C1 ('MetaCons "T" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Di" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Flat" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "AddDim" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Ices" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "Filt" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Eye" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "IRange" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "FRange" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Map" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "FoldA" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Zip" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Rank" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [(Int, Maybe [Int])])) :+: (C1 ('MetaCons "Fold" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "FoldS" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "Foldl" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Floor" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ItoF" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "Iter" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Scan" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ScanS" 'PrefixI 'False) (U1 :: Type -> Type))))))) :+: (((((C1 ('MetaCons "Size" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Dim" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Re" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Gen" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Fib" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "Succ" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "DI" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Int))) :+: (C1 ('MetaCons "Conv" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Int])) :+: (C1 ('MetaCons "TAt" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Int)) :+: C1 ('MetaCons "Last" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "LastM" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ConsE" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Snoc" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Mul" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "VMul" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "Outer" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "R" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Head" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "HeadM" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Tail" 'PrefixI 'False) (U1 :: Type -> Type)))))) :+: ((((C1 ('MetaCons "Init" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "RevE" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "TailM" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "InitM" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Sin" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "Cos" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Rot" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Tan" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Cyc" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "A1" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "Even" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Odd" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "IOf" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Abs" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "And" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "Or" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Xor" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "N" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "Sr" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Sl" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "C" 'PrefixI 'False) (U1 :: Type -> Type))))))))

Methods

from :: Builtin -> Rep Builtin x

to :: Rep Builtin x -> Builtin

Pretty Builtin

Defined in A

Methods

pretty :: Builtin -> Doc ann

prettyList :: [Builtin] -> Doc ann

type Rep Builtin

Defined in A

type Rep Builtin = D1 ('MetaData "Builtin" "A" "apple-0.3.0.0-inplace" 'False) ((((((C1 ('MetaCons "Plus" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Minus" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Times" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Div" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "IntExp" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "Exp" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Log" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Eq" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Neq" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Gt" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "Lt" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Gte" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Lte" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "CatE" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "IDiv" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "Mod" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Max" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Min" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Neg" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Sqrt" 'PrefixI 'False) (U1 :: Type -> Type)))))) :+: ((((C1 ('MetaCons "T" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Di" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Flat" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "AddDim" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Ices" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "Filt" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Eye" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "IRange" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "FRange" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Map" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "FoldA" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Zip" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Rank" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [(Int, Maybe [Int])])) :+: (C1 ('MetaCons "Fold" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "FoldS" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "Foldl" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Floor" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ItoF" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "Iter" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Scan" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ScanS" 'PrefixI 'False) (U1 :: Type -> Type))))))) :+: (((((C1 ('MetaCons "Size" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Dim" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Re" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Gen" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Fib" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "Succ" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "DI" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Int))) :+: (C1 ('MetaCons "Conv" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Int])) :+: (C1 ('MetaCons "TAt" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Int)) :+: C1 ('MetaCons "Last" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "LastM" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ConsE" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Snoc" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Mul" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "VMul" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "Outer" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "R" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Head" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "HeadM" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Tail" 'PrefixI 'False) (U1 :: Type -> Type)))))) :+: ((((C1 ('MetaCons "Init" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "RevE" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "TailM" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "InitM" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Sin" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "Cos" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Rot" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Tan" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Cyc" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "A1" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "Even" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Odd" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "IOf" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Abs" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "And" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "Or" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Xor" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "N" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "Sr" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Sl" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "C" 'PrefixI 'False) (U1 :: Type -> Type))))))))

data ResVar

Constructors

X

Y

Instances

NFData ResVar

Defined in A

Methods

rnf :: ResVar -> ()

Generic ResVar

Defined in A

Associated Types

type Rep ResVar

Defined in A

type Rep ResVar = D1 ('MetaData "ResVar" "A" "apple-0.3.0.0-inplace" 'False) (C1 ('MetaCons "X" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Y" 'PrefixI 'False) (U1 :: Type -> Type))

Methods

from :: ResVar -> Rep ResVar x

to :: Rep ResVar x -> ResVar

Pretty ResVar

Defined in A

Methods

pretty :: ResVar -> Doc ann

prettyList :: [ResVar] -> Doc ann

type Rep ResVar

Defined in A

type Rep ResVar = D1 ('MetaData "ResVar" "A" "apple-0.3.0.0-inplace" 'False) (C1 ('MetaCons "X" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Y" 'PrefixI 'False) (U1 :: Type -> Type))

prettyTyped :: E (T a) -> Doc ann

prettyC :: (T (), [(Nm a, C)]) -> Doc ann

rLi :: T a -> T a