apple-0.3.0.0: Apple array language compiler
Safe HaskellSafe-Inferred
LanguageHaskell2010

Ty.M

Documentation

check :: E (T ()) -> Maybe RE Source #

data RE Source #

Constructors

MR (E (T ())) (T ()) 
Unflat (E (T ())) (T ()) 
UT (E (T ())) (T ()) 
IS (Sh ()) 
ES (Sh ()) 

Instances

Instances details
NFData RE Source # 
Instance details

Defined in Ty.M

Methods

rnf :: RE -> () #

Generic RE Source # 
Instance details

Defined in Ty.M

Associated Types

type Rep RE 
Instance details

Defined in Ty.M

type Rep RE = D1 ('MetaData "RE" "Ty.M" "apple-0.3.0.0-inplace" 'False) ((C1 ('MetaCons "MR" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (E (T ()))) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (T ()))) :+: C1 ('MetaCons "Unflat" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (E (T ()))) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (T ())))) :+: (C1 ('MetaCons "UT" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (E (T ()))) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (T ()))) :+: (C1 ('MetaCons "IS" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Sh ()))) :+: C1 ('MetaCons "ES" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Sh ()))))))

Methods

from :: RE -> Rep RE x #

to :: Rep RE x -> RE #

Pretty RE Source # 
Instance details

Defined in Ty.M

Methods

pretty :: RE -> Doc ann #

prettyList :: [RE] -> Doc ann #

type Rep RE Source # 
Instance details

Defined in Ty.M

type Rep RE = D1 ('MetaData "RE" "Ty.M" "apple-0.3.0.0-inplace" 'False) ((C1 ('MetaCons "MR" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (E (T ()))) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (T ()))) :+: C1 ('MetaCons "Unflat" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (E (T ()))) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (T ())))) :+: (C1 ('MetaCons "UT" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (E (T ()))) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (T ()))) :+: (C1 ('MetaCons "IS" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Sh ()))) :+: C1 ('MetaCons "ES" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Sh ()))))))